Computer Aided Verification

Ein wissenschaftlicher Sammelband aus der 23. Internationalen Konferenz zur Computer‑Aided Verification in Snowbird (Juli 2011), der innovative An ...
Wo zu kaufen (4) Eigenschaften
Gesponsert
Springer, Fachbücher, Computer Aided Verification (Englisch, Ganesh Gopalakrishnan, Shaz Qadeer, 2011)
Galaxus.de
49.40 EUR
Preis aktualisiert am: 17-09-2026 20:37:56
Siehe Produktangebot
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 17-09-2026 13:56:54
Siehe Produktangebot
Gesponsert
Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Issues) (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 20-09-2026 07:17:22
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 20-09-2026 18:15:47
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 134 black & white illustrations, 46 colo
ISBN
Springer-Verlag GmbH 9783642221095

Eigenschaften

Ähnliche Produkte

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
Produkt anzeigen
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
Produkt anzeigen
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)
Produkt anzeigen
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science, Band 11561)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science, Band 11561)
Produkt anzeigen
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Menü