
por G. Edward Rosser · 1971
Sinopsis
Un trabajo temprano que examina diferentes enfoques para definir el significado de los lenguajes de programación, incluyendo nociones de semántica operacional y axiomática, antes de la consolidación del enfoque denotacional.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda