Semántica de programas: Un enfoque matemático
1988·divulgacion
Un libro de texto que explora rigurosamente los fundamentos matemáticos de la semántica de los lenguajes de programación, utilizando modelos formales para definir el significado de los programas.
