Diseño de programas: formalismo y abstracción

Autor : Ricardo Peña Marí

Idioma : Español

Fecha de publicación : 1993

Páginas : 326

Edición : 2ª

Editorial : Prentice Hall

Encuadernación : Tapa Blanda

Sinopsis : El libro está concebido para ser utilizado en un segundo o tercer curso de programación, poniendo el énfasis en los principios que guían el diseño de los programas y en el razonamiento sobre su corrección y eficiencia.

Se incluyen en él una variedad de 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. Para cada técnica se presentan sus fundamentos matemáticos y a continuación se ejercita la misma con numerosos ejemplos. En el texto se diseñan y verifican numerosos programas no triviales, incluyendo los algoritmos quicksort y heapsort y se presentan las especificaciones algebraicas y las implementaciones de las estructuras de datos más frecuentes: pilas, listas, árboles, etc.

Esta segunda edición incorpora, entre otras mejoras, un capítulo adicional sobre implementación de estructuras de datos, así como un apéndice con las soluciones de los ejercicios y un índice analítico.

Ricardo Peña Marí es profesor titular de la Universidad Complutense de Madrid, en el Departamento de Sistemas Informáticos y Programación. Ha sido profesor hasta 1991 de la Universidad Politécnica de Cataluña y ha trabajado para la empresa privada, adquiriendo una amplia experiencia en el desarrollo de grandes programas.

¿Por qué lo tengo? : Ricardo Peña es un catedrático legendario de la Universidad Complutense de Madrid. Este libro es un clásico absoluto en las asignaturas de Metodología de la Programación o Tecnología de la Programación de primer y segundo año. Enseña a programar con un rigor matemático tremendo: especificación formal de algoritmos (precondiciones, postcondiciones), invariantes de bucle, corrección de programas y Tipos Abstractos de Datos (TADs). Aunque los ejemplos usen lenguajes como Pascal o Modula-2, la teoría de cómo diseñar un programa correcto para que no falle es imperecedera. Te servirá muchísimo.

ISBN-13 : 9788483220030

ISBN-10 : 84-8322-003-2

Estado de Lectura : Pendiente