Una Lógica de la Programación
por Edsger W. Dijkstra · 1976
Sinopsis
Dijkstra presenta un enfoque riguroso y matemático para la construcción de programas correctos, defendiendo que la programación es un acto de razonamiento lógico y que los programas deben ser derivados formalmente a partir de sus especificaciones.
Sé el primero en valorar este libro.
Más de Edsger W. Dijkstra
Ver autor →Otras obras del mismo autor en el catálogo
Goto considerado perjudicial
1968
La esencia de la informática
1972
Sobre la Programación Confiable
1972
Principios para el Diseño de Programas Informáticos Estructurados
1972
Sobre el arte de programar
1972
Structured Programming (Programación Estructurada)
1972
Sobre Programación: Una Introducción al Concepto de Lenguajes de Programación
1972
La lógica de la programación estructurada
1974
A Plea for the Emperor's New Clothes
1975
El arte de la programación
1976
Principios de Programas
1976
Principios de la Demostración de Programas
1976
Principios de Programación
1976
La estructura del pensamiento computacional
1976
Una disciplina de programación
1976
Libros similares
Libros relacionados según distintos criterios de búsqueda