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 ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 09-05-2026 05:56:48
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 09-05-2026 05:56:42
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 08-05-2026 14:58:50
Allgemein
Marke
Hana Chockler
ISBN
Hana Chockler 3319961411
