
Rigorous Software Development
An Introduction to Program Verification
Synopsis
Om denne bog
- Sprog:English
- ISBN:9781447175582
- Udgivelsesdato:24. maj 2026
- Udgiver:Springer London
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:23.29 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)




























































































