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
Wo zu kaufen (3) Eigenschaften
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 13-06-2026 10:22:59
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 13-06-2026 03:39:08
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Isil Dillig, Serdar Tasiran
Galaxus.de
53.49 EUR
Preis aktualisiert am: 13-06-2026 03:11:52
Siehe Produktangebot

Allgemein

Marke
Isil Dillig
ISBN
Isil Dillig 3030255395

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)
Produkt anzeigen
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
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 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 CMM Inspection Planning and Verification: Theory and Applications
Computer-Aided CMM Inspection Planning and Verification: Theory and Applications
Produkt anzeigen
Menü