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

10 títulos

The Mathematical Theory of Automata

1971

La Estructura de las Máquinas: Fundamentos de la Ciencias de la Computación

1974

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.