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 valoraciones
- Idioma
- Inglés
- Publicación
- 2025
- Editorial
- Springer London, Limited
- Páginas
- 342
- ISBN
- 9781447175575
Temas
Edición original
Rigorous Software Development An Introduction to Program VerificationPublicado originalmente en 2011 Inglés Springer London, Limited
Otras ediciones (2)
Todavía no hay reseñas. ¿Escribes la primera?