por Ole-Johan Dahl, Edsger W. Dijkstra, C.A.R. Hoare · 1972
Ver sugerenciasSinopsis
Una colección de ensayos e investigaciones que sentaron las bases para la programación estructurada y la verificación formal de programas, enfatizando la claridad, la corrección y la metodología en el diseño de software.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1970
1972
1972
1978
1981
1993
1994
1997
1998
1999
2000
2001
2002
2003
2005
Libros relacionados según distintos criterios de búsqueda
O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare
1972·divulgacion
Ambos libros abogan por la claridad y la corrección en el diseño del software, enfatizando metodologías estructuradas como base para la programación eficaz.
Dijkstra ofrece un enfoque formal al diseño de programas, similar al énfasis en la verificación y la lógica presentado en el libro de referencia.
Este texto utiliza la lógica matemática para fundamentar la corrección y claridad, al igual que los ensayos de la obra de Dahl, Dijkstra y Hoare.
Enfocado en la claridad y elegancia matemática, este libro complementa la visión metodológica expresada en la colección de ensayos del libro de referencia.
Recopila ensayos sobre programación estructurada, destacando la corrección y simplicidad, siguiendo la línea de pensamiento promovida por los autores del libro de referencia.
Este compendio de ensayos seminales aborda principios de programación estructurada, coincidiendo con el llamado a la claridad y la metodología del texto de referencia.
