Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)
Ein wissenschaftliches Werk aus der 26. CAV-Konferenz in Wien, das neueste Methoden der automatisierten Modellprüfung vorstellt, inklusive Fallstudie ...
Gesponsert
Medimops DE
105.94 EUR
Preis aktualisiert am: 27-04-2026 03:35:50
Gesponsert
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 27-04-2026 06:41:33
Gesponsert
Galaxus.de
106.99 EUR
Preis aktualisiert am: 26-04-2026 21:29:49
Allgemein
Marke
Armin Biere
MPN
Armin Biere 205 black & white illustrations, biograp
ISBN
Armin Biere 3319088661
