Computer Aided Verification David K. Probst
93,08 €
Titel: Computer Aided Verification, Untertitel: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings, Einband: Taschenbuch, Autor: David K. Probst, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 440, Maße: 235x155x24 mm, Gewicht: 663 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Elektronik / Mikroelektronik Mikroelektronik Automatic Verification Automatische Verifikation Beweisprüfung computer-aided design (CAD) Concurrent Systems model checking Modellprüfung Nebenläufige Systeme Proof Checking algorithm algorithms distributed systems logic microprocessor real-time.
Jetzt bei Ebay:
