
por Zohar Manna · 1974
Sinopsis
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.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1971

1980
1986
1990

1995
1996

1997

1999

2000
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.