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)

Wo zu kaufen (4) Eigenschaften
Gesponsert
Computer Aided Verification, Fachbücher von Alexandra Silva, K. Rustan M. Leino
Galaxus.de
42.79 EUR
Preis aktualisiert am: 29-10-2026 14:50:49
Siehe Produktangebot
Gesponsert
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)
Medimops DE
42.79 EUR
Preis aktualisiert am: 28-10-2026 15:39:57
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
42.79 EUR
Preis aktualisiert am: 28-10-2026 06:14:10
Siehe Produktangebot
Gesponsert
Computer Aided Verification
Hugendubel
42.99 EUR
Preis aktualisiert am: 29-10-2026 06:22:42
Siehe Produktangebot

Allgemein

Marke
Alexandra Silva

Eigenschaften

Ähnliche Produkte

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)
Aus39.98 EUR 5
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Aus38.98 EUR 4
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Aus42.79 EUR 4
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Aus42.79 EUR 4
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Aus42.79 EUR 4
Produkt anzeigen
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760, Band 12760)
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760, Band 12760)
Aus42.79 EUR 4
Produkt anzeigen
Menü