
por Harro W. Langmaack · 1988
Sinopsis
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.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda