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)
In diesem Band werden die neuesten Erkenntnisse der formalen Verifikation aus der 30. CAV-Konferenz in Oxford vorgestellt, von theoretischen Durchbrü ...
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:51
Allgemein
Marke
Hana Chockler
ISBN
Hana Chockler 9783319961446
