Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
Ein Fachbuch aus der CAV‑Konferenz 2015 in San Francisco, das innovative Ansätze zur computerunterstützten Verifikation beleuchtet und praxisori ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 04-08-2026 18:14:16
Gesponsert
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 05-08-2026 14:36:58
Allgemein
Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 107 black & white illustrations, biograp
ISBN
Springer-Verlag GmbH 3319216678
