
Rigorous Software Development
An Introduction to Program Verification
Kurzbeschreibung
Zu diesem Buch
- Sprache:English
- ISBN:9780857290182
- Erscheinungsdatum:15. Nov. 2017
- Herausgeber:Springer London
- Imprint:Springer
- Dateiformat:EPUB2
- Dateigröße:3.67 MB
- Downloadoptionen:EPUB2 (Adobe DRM)


















































































