Semántica formal de los lenguajes de programación
por Gilles Kahn · 1987
Sinopsis
Examina métodos rigurosos para definir el significado de los programas, incluyendo semántica operacional, denotacional y axiomática, crucial para la verificación y el diseño de lenguajes.
Sé el primero en valorar este libro.
Más de Gilles Kahn
Ver autor →Otras obras del mismo autor en el catálogo
Algorithmic Probability and Combinatorial Optimization
2001
Probabilistic Algorithms for Satisfiability
2002
Introduction to Blending Algorithms
2004
Information and Computation
2007
Computational Complexity
2010
Randomized Algorithms for Satisfiability
2011
Algorithmic Game Theory
2012
Mathematics of the Algorithm
2015
Computability and Complexity
2017
Principios para los lenguajes de programación
Libros similares
Libros relacionados según distintos criterios de búsqueda