Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science, 13966, Band 13966)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science, 13966, Band 13966)
Medimops DE
42.79 EUR
Preis aktualisiert am: 29-07-2026 09:26:53
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Constantin Enea, Akash Lal
Galaxus.de
42.79 EUR
Preis aktualisiert am: 28-07-2026 06:07:12
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
47.19 EUR
Preis aktualisiert am: 29-07-2026 07:19:42
Siehe Produktangebot

Allgemein

Marke
Constantin Enea

Eigenschaften

Ähnliche Produkte

Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II (Lecture Notes in Computer Science, 13965, Band 13965)
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
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Menü