
Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9783319941110
- Erscheinungsdatum:7. Aug. 2018
- Herausgeber:Springer International Publishing
- Imprint:Springer
- Dateiformat:EPUB2
- Dateigröße:5.62 MB
- Downloadoptionen:EPUB2 (Adobe DRM)

