TY - GEN AU - Peña Marí,Ricardo TI - Diseño de programas : : formalismo y abstracción SN - 8483220032 U1 - 005 PY - 1998/// CY - España PB - Pearson KW - Programación estructurada KW - Programación (computadoras) - Manuales N1 - 1. La eficiencia de los algoritmos -- 2. Especificación de problemas -- 3. Diseño recursivo -- 4. Diseño Iterativo -- 5. Tipos abstractos de datos -- 6. Especificación de estructuras de datos -- 7. Implementación de estructuras de datos N2 - El libro es adecuado para un segundo o tercer curso de programación de Facultades y Escuelas superiores o técnicas de Informática y de Telecomunicación, así como para Facultades de Matemáticas o de Físicas, donde se impartan temas de programación en cierta profundidad. Presupone conocimientos elementales de programación, y de algún lenguaje imperativo del tipo Pascal ER -