The Calculus of Computation: Decision Procedures with Applications to Verification
por Aaron Bradley, Zohar Manna · 2007
Sinopsis
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