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.
estadounidense
Aaron Bradley es un autor contemporáneo conocido por su work en la literatura, así como su enfoque en el desarrollo de nuevos talentos en la escritura. Su relevancia se debe a su contribución a la exploración de temas sociales en sus obras.
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.
Aparecen junto a Aaron Bradley en búsquedas del archivo