
Rigorous Software Development
An Introduction to Program Verification
Synopsis
Om den här boken
- Språk:English
- ISBN:9781447175582
- Utgivningsdatum:24 maj 2026
- Utgivare:Springer London
- Impressum:Springer
- Filformat:EPUB3
- Filstorlek:23.29 MB
- Nedladdningsalternativ:EPUB3 (Adobe DRM)




























































































