Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Matthew Dwyer
Libristo-code: 01563494
Uitgeverij Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Volledige beschrijving
? points 125 b
51.19 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Les Provinciales De Pascal Albert Bayet / Boek Gebonden (harde band)
common.buy 31.41 €
Číňan Henning Mankell / Boek Gebonden (harde band)
common.buy 11.33 €
Vláček a jeho kamarádi / Boek Leporello (harmonicaboek)
common.buy 13.44 €
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Audio vinyl
common.buy 37.64 €
MI Jevgenyij Zamjatyin / Boek Gebonden (harde band)
common.buy 10.93 €
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-book Adobe ePub DRM
common.buy 14.75 €
El gran detective Byron Mitchell MARTIN FERRERAS / Boek Gebonden (paperback)
common.buy 14.65 €
Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh / Boek Gebonden (paperback)
common.buy 21.17 €
Wordt verwacht
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Drukwerk Speelkaarten
common.buy 21.37 €
Wordt verwacht
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Boek Gebonden (paperback)
common.buy 50.29 €
Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Boek Gebonden (paperback)
common.buy 48.58 €
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalender/agenda Kalender
common.buy 73.27 €
Tokos Gianna Hedderich / Boek Gebonden (paperback)
common.buy 22.18 €
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Boek Gebonden (harde band)
common.buy 12.74 €
Český jazyk pro 3. ročník SOŠ Čechová / Boek Gebonden (paperback)
common.buy 8.92 €
Postdemokratie Colin Crouch / Boek Gebonden (paperback)
common.buy 10.83 €
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Boek Gebonden (paperback)
common.buy 16.05 €
Treasurers of the Snow Patricia St John / Boek Gebonden (paperback)
common.buy 14.55 €
TOP
La casa de Tomasa Phyllis Root / Boek Gebonden (paperback)
common.buy 22.38 €
Aguas arriba de mi madre Arnáiz / Boek Gebonden (paperback)
common.buy 22.68 €
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Boek Gebonden (paperback)
common.buy 22.18 €
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Boek Gebonden (paperback)
common.buy 10.73 €
Shopkins Cicibiciler - Mutsuz Kurabi / Boek Gebonden (paperback)
common.buy 20.97 €
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Boek Gebonden (paperback)
common.buy 6.11 €

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Model Checking Software
Auteur Matthew Dwyer
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 318
EAN 9783540421245
ISBN 3540421246
Libristo-code 01563494
Uitgeverij Springer, Berlin
Gewicht 467
Afmetingen 155 x 235 x 17

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

The Immortal Red Fox: Volume 1 Palmer / Boek Gebonden (paperback)
common.buy 12.04 €
Cracked Chessboard Elizabeth Emberton / Boek Gebonden (paperback)
common.buy 18.26 €
Leisure Marketing HORNER / Boek Gebonden (harde band)
common.buy 319.33 €
Philip Roth: Nemeses (LOA #237) Philip Roth / Boek Gebonden (harde band)
common.buy 26.89 €
Three Nearsighted Mice Diane Epstein / Boek Gebonden (paperback)
common.buy 14.45 €
TOP
Hollow MYERS CELINA / Boek Gebonden (harde band)
common.buy 20.57 €
Oxford Handbook of International Criminal Law Darryl Robinson / Boek Gebonden (paperback)
common.buy 62.93 €
Damnation Peter McLean / Boek Gebonden (paperback)
common.buy 11.43 €
How To Start Your Own Business Selling Collectible Products Of Australian Cattle Dogs Gail Forsyth / Boek Gebonden (paperback)
common.buy 10.23 €
Prince Charming Charity L Maness / Boek Gebonden (paperback)
common.buy 10.23 €
A Prayer for Inner Peace Allan A Glatthorn / Boek Gebonden (paperback)
common.buy 12.04 €
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Boek Gebonden (paperback)
common.buy 17.36 €
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Boek Gebonden (paperback)
common.buy 31.41 €
International Conference on Innovative Computing and Communications Siddhartha Bhattacharyya / Boek Gebonden (paperback)
common.buy 153.18 €
Love and War Warren MacQuarrie / Boek Gebonden (harde band)
common.buy 40.65 €
Lonely Hearts Cry Anji Nolan / Boek Gebonden (paperback)
common.buy 15.15 €
Data Governance Act Moritz Hennemann / Boek Gebonden (harde band)
common.buy 177.38 €
Saint of Lost Things Tish Delaney / E-book Adobe ePub DRM
common.buy 9.83 €
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Boek Gebonden (paperback)
common.buy 31.41 €
History of Mexican Literature Ignacio M. Sanchez Prado / E-book Adobe ePub DRM
common.buy 45.37 €
Finally Enough Love Madonna / Audio Audio vinyl
common.buy 33.82 €
American Nation: A History, Vol. 9 Jeremy Schifeling / Luisterboek MP3
common.buy 20.07 €
Studies on the Nerve Endings of the External Genitalia of the Bovine V. P. Rao / Boek Gebonden (paperback)
common.buy 14.45 €
History of Market Drayton John Robinson Lee / Boek Gebonden (paperback)
common.buy 16.96 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?