La Máquina de Von Neumann y la Lógica del Programa
por Yuri Gurevich
Ver sugerenciasSinopsis
Aunque no sea un libro tradicionalmente publicado como monografía, Gurevich ha explorado extensamente los modelos Abstract State Machines (ASM) como una forma de formalizar la semántica de la computación y la lógica de los programas de un modo independiente de la implementación.
Sé el primero en valorar este libro.
Más de Yuri Gurevich
Ver autor →Otras obras del mismo autor en el catálogo
La máquina de Turing como base de un modelo computacional no determinista
1991
La ciencia de la computación como forma de pensamiento
1993
Automata, Languages and Machines
1994
Mathematical Foundations of Computer Science
The Theories of Non-Classical Logics
Formal Languages and Automata Theory
Exploring Random Walks
Understanding Computation
The Theory of Automata
Algorithms and Computations
Algorithms for Computer Vision
Model Theory: An Introduction
Foundations of Computer Science
Introduction to Models of Computation
Theoretical Computer Science
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.