[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 Matthew Dwyer
Libristo-Code: 01563494
Verlag Springer, Berlin, November 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Vollständige Beschreibung
? points 177 b
70.52 € 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

TOP
Cutting Edge 3rd Edition Intermediate Teacher's Book and Teacher's Resource Disk Pack Damian Williams / Broschur
common.buy 50.24 €
Shopkins Cicibiciler - Mutsuz Kurabi / Broschur
common.buy 24.81 €
Finite Dimensional Convexity and Optimization Monique Florenzano / Hardcover
common.buy 139.23 €
Underdog Sue-Ann Levy / Hardcover
common.buy 37.02 €
Nine Man Eaters and One Rogue Kenneth Anderson / Broschur
common.buy 22.19 €
My School Improvement Doodle Book Ben Keeling / Broschur
common.buy 18.86 €
Resonant Robotic Systems Vladimir I. Babitsky / Hardcover
common.buy 139.23 €
Softly Calls the Serengeti Frank Coates / Broschur
common.buy 12.70 €
Resin Microscopy and On-Section Immunocytochemistry Geoffrey R. Newman / Hardcover
common.buy 276.45 €

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.

Informationen zum Buch

Vollständiger Name Model Checking Software
Autor Matthew Dwyer
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2001
Anzahl der Seiten 318
EAN 9783540421245
ISBN 3540421246
Libristo-Code 01563494
Verlag Springer, Berlin
Gewicht 467
Abmessungen 155 x 235 x 17

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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