estadounidense
Carl A. Gunter es un destacado científico en el campo de la informática, reconocido por sus contribuciones a la teoría de la computación y la seguridad informática. Su trabajo ha tenido un impacto significativo en el desarrollo de modelos matemáticos aplicados a la informática moderna.
1992·no ficcion
Este libro proporciona una visión general sistemática de las técnicas para especificar y analizar la semántica de los lenguajes de programación. Cubre semántica operacional, denotacional y axiomática, ofreciendo una base teórica para el diseño de lenguajes de programación.
2003
Este libro explora los diferentes modelos de computación, analizando su relación y aplicabilidad en la teoría de la computación y el diseño de algoritmos. Gunter presenta conceptos técnicos de manera accesible para lectores interesados en la computación formal.
Aparecen junto a Carl A. Gunter en búsquedas del archivo
