Rigorous Software Development An Introduction to Program Verification
de Simão Melo de Sousa, José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto
4 / 10 5 notes
- Langue
- Anglais
- Parution
- 2011
- Éditeur
- Springer London, Limited
- Pages
- 307
- ISBN
- 9780857290199
Thèmes
Édition originale
Rigorous Software Development An Introduction to Program VerificationParu pour la première fois en 2011 Anglais Springer Science & Business Media
Autres éditions (3)
Pas encore de résumé pour cette édition.
Aucun avis pour l’instant. À toi d’ouvrir le bal !