
Rigorous Software Development
An Introduction to Program Verification
Synopsis
Om denne bog
- Sprog:English
- ISBN:9780857290182
- Udgivelsesdato:15. nov. 2017
- Udgiver:Springer London
- Tryk:Springer
- Filformat:EPUB2
- Filstørrelse:3.67 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)
















































