Systems and Software Verification: Model-Checking Techniques and Tools Berard, B
14,00 €
Springer 2001. 190 Seiten gebundene Ausgabe Sprache: Englisch ISBN: 3540415238 EAN: 9783540415237 Bestell-Nr: 2223803 Bemerkungen: Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel...). In ENGLISCHER Sprache. .
Jetzt bei Ebay:
