
Rigorous Software Development
An Introduction to Program Verification
Sinopse
Sobre este livro
- Língua:English
- ISBN:9780857290182
- Data de lançamento:15 de nov. de 2017
- Editora:Springer London
- Impressão:Springer
- Formato de ficheiro:EPUB2
- Tamanho do ficheiro:3.67 MB
- Opções de transferência:EPUB2 (Adobe DRM)


















































































