The Calculus of Computation: Decision Procedures with Applications to Verification
2007·no ficcion
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.