Product Information
Systems and Software Verification: Model-Checking Techniques and Tools
by Berard, B., M. Bidoit A. Finkel a. o.
Springer
9783540415237
year: 2001
190 Seiten
gebundene Ausgabe
order number: 2223803
description
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 - a shop
from Versandantiquariat
Petra Gros