
Rigorous Software Development
An Introduction to Program Verification
Synopse
O knize
- Jazyk:English
- ISBN:9781447175582
- Datum vydání:24. 5. 2026
- Vydavatel:Springer London
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:23.29 MB
- Možnosti stahování:EPUB3 (Adobe DRM)
