
Rigorous Software Development
An Introduction to Program Verification
Sammendrag
Om denne boken
- Språk:English
- ISBN:9780857290182
- Utgivelsesdato:4. jan. 2011
- Forlag:Springer London
- Trykk:Springer
- Filformat:EPUB2
- Filstørrelse:3.67 MB
- Nedlastingsalternativer:EPUB2 (Adobe DRM)


















