Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-2
101.10 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10460445
Beschreibung
Data Driven Techniques.- Runtime Verication.- Cyber-Physical Systems.- Concurrency.- Analysis of Software and Hardware.- Foundations of Verification.- Distributed and Networked Systems.- Synthesis.- Decision Procedures and their Applications.- Software Analysis.
Eigenschaften
Breite: | 155 |
Gewicht: | 961 g |
Höhe: | 235 |
Länge: | 33 |
Seiten: | 601 |
Sprachen: | Englisch |
Autor: | Rupak Majumdar, Viktor Kuncak |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen