Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)

Dieses Buch sammelt die wichtigsten Beiträge der 28. Internationalen Konferenz zur Computer‑Aided Verification in Toronto, bietet tiefe Einblicke i ...
Computer Aided Verification
Wo zu kaufen (4) Eigenschaften
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 04-11-2026 04:14:36
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Azadeh Farzan, Swarat Chaudhuri
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 13:51:27
Siehe Produktangebot
Gesponsert
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 02-11-2026 22:49:59
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:51:09
Siehe Produktangebot

Allgemein

Marke
Swarat Chaudhuri
ISBN
Swarat Chaudhuri 3319415271

Eigenschaften

Ähnliche Produkte

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)
Aus42.79 EUR 4
Produkt anzeigen
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
Aus53.49 EUR 4
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)
Aus53.49 EUR 4
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)
Aus53.49 EUR 4
Produkt anzeigen
Computer-Aided CMM Inspection Planning and Verification: Theory and Applications
Computer-Aided CMM Inspection Planning and Verification: Theory and Applications
Aus65.74 EUR 3
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)
Aus70.99 EUR 1
Produkt anzeigen
Menü