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)

Wo zu kaufen (4) Eigenschaften
Gesponsert
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)
Medimops DE
39.98 EUR
Preis aktualisiert am: 29-07-2026 09:26:53
Siehe Produktangebot
Gesponsert
Computer Aided Verification
preigu.de
41.45 EUR
Preis aktualisiert am: 29-07-2026 04:15:20
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Akash Lal, Constantin Enea
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: 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: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science, 13966, Band 13966)
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)
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Produkt anzeigen
Menü