Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science, 13372, Band 13372)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science, 13372, Band 13372)
Medimops DE
42.79 EUR
Preis aktualisiert am: 04-08-2026 17:54:25
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
43.99 EUR
Preis aktualisiert am: 05-08-2026 14:38:12
Siehe Produktangebot

Allgemein

Marke
Sharon Shoham

Eigenschaften

Ähnliche Produkte

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science, 13371, Band 13371)
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science, 13371, Band 13371)
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
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
Menü