[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Model Checking Software

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking Software Alastair Donaldson
Libristo-Code: 01661641
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Vollständige Beschreibung
? points 230 b
91.81 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Cracked James Davies / Broschur
common.buy 14.12 €
Last Generation of the Roman Republic Gruen / Broschur
common.buy 59.72 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Hardcover
common.buy 206.02 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Broschur
common.buy 28.44 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Broschur
common.buy 38.34 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Hardcover
common.buy 56.29 €
Methane and its Derivatives Sunggyu Lee / Hardcover
common.buy 509.72 €
Mapa ecoturístic de Catalunya Antoni Curcó Masip / Broschur
common.buy 17.44 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Broschur
common.buy 34.60 €
La Nuit: Imaginaire Et Realites Nocturnes Dans Le Monde Greco-Romain A. Chaniotis / Hardcover
common.buy 82.83 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Broschur
common.buy 15.03 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Broschur
common.buy 18.11 €
Restraining Rage William Vernon Harris / Broschur
common.buy 57.10 €
GER-ARA PACIS AVGVSTAE George 1841 Niemann / Broschur
common.buy 19.17 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Informationen zum Buch

Vollständiger Name Model Checking Software
Autor Alastair Donaldson, David Parker
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 261
EAN 9783642317583
ISBN 3642317588
Libristo-Code 01661641
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 421
Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto