Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
Die Konferenzsammlung aus San Francisco 2015 liefert praxisnahe Beiträge zur formalen Verifikation, die neue Ansätze für Modellierung und Analyse ...
Gesponsert
Medimops DE
52.74 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 141 black & white illustrations, biograp
ISBN
Springer-Verlag GmbH 3319216899
