
Rigorous Software Development
An Introduction to Program Verification
Résumé
À propos de ce livre
- Langue :English
- ISBN :9781447175582
- Date de parution :24 mai 2026
- Éditeur :Springer London
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :23.29 MB
- Options de téléchargement :EPUB3 (Adobe DRM)
