británico
Michael R. A. Huth es un destacado académico y autor en el campo de la informática, conocido por sus contribuciones a la teoría de la verificación de software y la lógica computacional. Su trabajo ha influido en el desarrollo de herramientas y métodos para la verificación formal en la programación.
2004·no ficcion
Un libro de texto que introduce a los estudiantes en las técnicas de la lógica formal y la construcción de pruebas matemáticas rigurosas, cubriendo lógica proposicional, lógica de predicados y la verificación de sistemas.
Aparecen junto a Michael R. A. Huth en búsquedas del archivo
