Ambos libros enfatizan la claridad y corrección en el diseño de algoritmos, aunque el enfoque de Arsac es más práctico que el teórico de Dijkstra.
La Lógica de la Programación Estructurada
por Jacques Arsac · 1974
Ver sugerenciasSinopsis
Un texto seminal de la informática francesa que presenta los principios de la programación estructurada y la algoritmia, enfatizando la claridad y la corrección en el diseño de programas.
Sé el primero en valorar este libro.
Más de Jacques Arsac
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Dijkstra y Arsac comparten un enfoque riguroso donde destacan la importancia de la lógica matemática para la construcción de programas correctos y claros.
Programación Estructurada (Structured Programming)
O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare
1972·divulgacion
Este libro recoge principios de programación estructurada, como la modularidad, que resonan con los enfoques de claridad y corrección de Arsac.
Fundamentos de la programación: Análisis de algoritmos y estructuras de datos
Niklaus Wirth
1976·divulgacion
Wirth aborda la implementación eficiente de algoritmos, un concepto presente en la metodología de programación estructurada presentada por Arsac.
Reúnen ensayos que refuerzan la necesidad de confianza en la corrección formal, un tema central en la obra de Arsac sobre programación estructurada.
Dijkstra discute la verificación formal de programas, alineándose con la idea de claridad y algoritmia presentada por Arsac en su texto fundamental.