
Rigorous Software Development
An Introduction to Program Verification
Synopse
O knize
- Jazyk:English
- ISBN:9780857290182
- Datum vydání:15. 11. 2017
- Vydavatel:Springer London
- Tiráž:Springer
- Formát souboru:EPUB2
- Velikost souboru:3.67 MB
- Možnosti stahování:EPUB2 (Adobe DRM)
















































