
Rigorous Software Development
An Introduction to Program Verification
Résumé
À propos de ce livre
- Langue :English
- ISBN :9780857290182
- Date de parution :15 nov. 2017
- Éditeur :Springer London
- Marque éditoriale :Springer
- Format de fichier :EPUB2
- Taille de fichier :3.67 MB
- Options de téléchargement :EPUB2 (Adobe DRM)
















































