Ambos libros de Dijkstra abogan por un enfoque riguroso y matemático en la programación, resaltando la importancia de la verificación formal.
A Discipline of Programming
por E. W. Dijkstra · 1976
Ver sugerenciasSinopsis
Este libro presenta un enfoque riguroso y formal para el diseño y la construcción de programas correctos, destacando la importancia de la lógica y la verificación.
Sé el primero en valorar este libro.
Más de E. W. Dijkstra
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
La obra de Dijkstra utiliza la lógica matemática como fundamento para garantizar la corrección y la claridad en el diseño de programas, al igual que el libro de referencia.
Teorías de la Programación enfatiza la programación como disciplina científica, lo que refleja la estricta metodología presentada en A Discipline of Programming.
Una Lógica de la Programación articula la idea de que la programación es un acto de razonamiento lógico, alineándose con el enfoque formal del libro de referencia.
A Discipline of Programming y el tratado clásico presentan la programación como actividad matemática, destacando la derivación de programas correctos a partir de especificaciones formales.
La Disciplina de la Programación también se centra en la construcción de programas correctos a través de razonamiento matemático, similar al enfoque del libro de referencia.