
Rigorous Software Development
An Introduction to Program Verification
Synopsis
About this book
- Language:English
- ISBN:9781447175582
- Release date:May 24, 2026
- Publisher:Springer London
- Imprint:Springer
- File format:EPUB3
- File size:23.29 MB
- Download options:EPUB3 (Adobe DRM)
