Diseño de Programás. Formalismo y Abstracción 3/e - Ricardo Peña Mari
Programación
Out of Stock
We'll email you when the book is available again
Diseño de Programás. Formalismo y Abstracción 3/e
Ricardo Peña Mari
Synopsis "Diseño de Programás. Formalismo y Abstracción 3/e"
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 un CD-ROM con numerosos ejercicios prácticos.Capítulo 1. La eficiencia de los algoritmos.Capítulo 2. Especificación de problemas.Capítulo 3. Diseño recursivo.Capítulo 4. Diseño interactivo.Capítulo 5. Tipos abstractos de datos.Capítulo 6. Estructuras lineales de datos.Capítulo 7. Árboles.Capítulo 8. Tablas y Grafos.Apéndice A. Soluciones a los ejercicios y problemas.