
por Carl A. Gunter · 1992
Sinopsis
Este libro proporciona una visión general sistemática de las técnicas para especificar y analizar la semántica de los lenguajes de programación. Cubre semántica operacional, denotacional y axiomática, ofreciendo una base teórica para el diseño de lenguajes de programación.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1996

1999

2001

2003

2005

2007

2009

2011

2014

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