TY - BOOK AU - Peña Marí,Ricardo AU - Fayeman Aragón,David TI - Diseño de programas: formalismo y abstracción SN - 8420541915 U1 - 005.12 P349d 2005 23 PY - 2005/// CY - Madrid PB - Pearson KW - Informática KW - LEMB KW - Procesamiento de datos KW - Problemas, ejercicios, etc KW - Programación (computadores) N1 - Incluye soluciones a los ejercicios y problemas; Incluye referencias bibliográficas; Incluye índice de temas; Incluye índice de figuras; Incluye índice de tablas; La eficiencia de los algoritmos -- Especificación de problemas -- Diseño recursivo -- Diseño iterativo -- Tipos abstractos de datos -- Estructuras lineales de datos -- Árboles -- Tablas y grafos; El CD contiene un software que implementa algunas de las estructuras de datos y algoritmos del libro ER -