Produktinfo
Systems and Software Verification: Model-Checking Techniques and Tools
von Berard, B., M. Bidoit A. Finkel a. o.
Springer
9783540415237
Jahr: 2001
190 Seiten
gebundene Ausgabe
Bestellnummer: 2223803
Beschreibung
Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel...). In ENGLISCHER Sprache.
books4less - ein Shop
des Versandantiquariats
Petra Gros