Libro Diseño de Programás. Formalismo y Abstracción 3/e De Ricardo Peña Mari

portada Diseño de Programás. Formalismo y Abstracción 3/e

Formato

Libro Físico

Autor

Ricardo Peña Marí

Editorial

Alhambra

Categoría

Programación

Tema

computacion

Colección

college

Año

2005

Idioma

Español

N° páginas

488

Encuadernación

Tapa Blanda

ISBN

8420541915

ISBN13

9788420541914

N° edición

Diseño de Programás. Formalismo y Abstracción 3/e

Ricardo Peña Marí (Autor) · Alhambra · Tapa Blanda

Sin Stock

Reseña del libro "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.