
Rigorous Software Development
An Introduction to Program Verification
Synopsis
About this book
- Language:English
- ISBN:9780857290182
- Release date:Nov 15, 2017
- Publisher:Springer London
- Imprint:Springer
- File format:EPUB2
- File size:3.67 MB
- Download options:EPUB2 (Adobe DRM)
















































