Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Die Konferenzsammlung aus San Francisco 2015 liefert praxisnahe Beiträge zur formalen Verifikation, die neue Ansätze für Modellierung und Analyse ...
Computer Aided Verification
Wo zu kaufen (4) Eigenschaften
Gesponsert
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
Medimops DE
52.74 EUR
Preis aktualisiert am: 19-09-2026 17:54:49
Siehe Produktangebot
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 17-09-2026 11:47:31
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening
Galaxus.de
53.49 EUR
Preis aktualisiert am: 20-09-2026 04:17:11
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 19-09-2026 16:10:57
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 141 black & white illustrations, biograp
ISBN
Springer-Verlag GmbH 3319216899

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: 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
Computer Aided Verification
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ü