
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9783319633909
- Erscheinungsdatum:11. Juli 2017
- Herausgeber:Springer International Publishing
- Imprint:Springer
- Dateiformat:EPUB2
- Dateigröße:11.26 MB
- Downloadoptionen:EPUB2 (Adobe DRM)





















































