
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9783030255435
- Erscheinungsdatum:12. Juli 2019
- Herausgeber:Springer International Publishing
- Imprint:Springer
- Dateiformat:EPUB3
- Dateigröße:28.25 MB
- Downloadoptionen:EPUB3 (Adobe DRM)
