Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12225)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12225)
Medimops DE
42.79 EUR
Preis aktualisiert am: 27-04-2026 03:29:39
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
42.79 EUR
Preis aktualisiert am: 26-04-2026 16:07:50
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Chao Wang, Shuvendu K. Lahiri
Galaxus.de
42.79 EUR
Preis aktualisiert am: 26-04-2026 21:56:17
Siehe Produktangebot

Allgemein

Marke
Lahiri, Shuvendu K.

Eigenschaften

Ähnliche Produkte

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12224)
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12224)
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ü