Diseño de Programas. Formalismo y Abstracción

Descripción:
Esta obra está destinada a quienes quieren mejorar sus métodos de programación y aprender a razonar sobre la corrección y la eficiencia de sus programas.
En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos; se estudian tanto las técnicas como los fundamentos matemáticos de éstas y se dan numerosos ejemplos de ellas. También se incluyen numerosos ejercicios prácticos.

Contenidos:
Índice de Figuras. Índice de Tablas. Prólogo a la segunda edición. La eficiencia de los algoritmos. Especificación de problemas. Diseño recursivo. Diseño interactivo. Tipos abstractos de datos. Especificación de estructuras de datos. Implementación de estructuras de datos. A. Soluciones a los ejercicios y problemas. Bibliografía. Índice analítico.