Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982)

In diesem Band werden die neuesten Forschungsergebnisse der formalen Verifikation präsentiert, von theoretischen Modellen bis zu konkreten Anwendunge ...
Computer Aided Verification
Wo zu kaufen (4) Eigenschaften
Gesponsert
Computer Aided Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:04:02
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Hana Chockler, Georg Weissenbacher
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:36:35
Siehe Produktangebot
Gesponsert
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 17:46:58
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
66.68 EUR
Preis aktualisiert am: 28-10-2026 06:13:18
Siehe Produktangebot

Allgemein

Marke
Hana Chockler
ISBN
Hana Chockler 3319961411

Eigenschaften

Ähnliche Produkte

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 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)
Aus42.79 EUR 4
Produkt anzeigen
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)
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)
Aus42.79 EUR 4
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Aus42.79 EUR 3
Produkt anzeigen
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10981)
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10981)
Aus53.49 EUR 4
Produkt anzeigen
Menü