The Calculus of Computation: Decision Procedures with Applications to Verification
por Aaron Bradley, Zohar Manna · 2007
Ver sugerenciasSinopsis
Este texto aborda los fundamentos lógicos y matemáticos de la verificación de software, presentando los métodos formales y las técnicas de decisión para probar la corrección de programas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.