La semántica de los programas: Aplicaciones a la programación estructurada
por Edsger W. Dijkstra · 1976
Sinopsis
Un trabajo seminal que explora la semántica formal de los lenguajes de programación, sentando las bases para la verificación y la corrección de programas a través de métodos matemáticos rigurosos.
Sé el primero en valorar este libro.
Más de Edsger W. Dijkstra
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda