Zohar Manna
israelí
Zohar Manna es un destacado científico y académico en el campo de la informática, conocido por su trabajo en teoría de autómatas y lenguajes formales. Su investigación ha influido en áreas como la verificación de programas y la lógica computacional.
Obras en el archivo
11 títulos
Program Verification
1974·ensayo
Este libro seminal aborda las técnicas formales y lógicas para demostrar la corrección de programas de computadora, utilizando métodos que buscan asegurar que un programa se comporte exactamente como se especifica, incluso ante múltiples estados y posibles interacciones.
Este texto seminal introduce los fundamentos de la computación, incluyendo autómatas finitos, máquinas de Turing, y la teoría de la semántica de los lenguajes de programación, utilizando un enfoque formal y lógico.
Autores relacionados
Aparecen junto a Zohar Manna en búsquedas del archivo