La Máquina de Von Neumann y la Lógica del Programa
por Yuri Gurevich
Sinopsis
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
Theoretical Computer Science
Mathematical Foundations of Computer Science
Foundations of Computer Science
The Theory of Automata
Understanding Computation
Algorithms and Computations
Algorithms for Computer Vision
Computational Complexity
Introduction to Models of Computation
Formal Languages and Automata Theory
Model Theory: An Introduction
Exploring Random Walks
Libros similares
Libros relacionados según distintos criterios de búsqueda