
Rigorous Software Development
An Introduction to Program Verification
Sammendrag
Om denne boken
- Språk:English
- ISBN:9781447175582
- Utgivelsesdato:24. mai 2026
- Forlag:Springer London
- Trykk:Springer
- Filformat:EPUB3
- Filstørrelse:23.29 MB
- Nedlastingsalternativer:EPUB3 (Adobe DRM)




























































































