TY - BOOK AU - Galve Francés, Javier TI - Algoritmica: Diseno y análisis de algoritmos funcionales e imperativos / SN - 0201623501 U1 - 005.1 PY - 1993/// CY - Estados Unidos América PB - Addison-Wesley : Ra-Ma, KW - Diseño de Algoritmos KW - Algoritmica KW - Lenguaje de programación (Computadoras electrónicas) N1 - Incluye índice, bibliografía.; índice -- Presentación -- 1. Introducción a la programación -- 2. Especificaciones de algoritmos funcionales -- 3. Especificación de algoritmos imperativos -- 4. Estructuras de datos -- 5. Semántico y corrección de algoritmos -- 6. Complejidad de algoritmos -- 7. Algoritmos sencillos -- 8. Técnicas de diseño de algoritmos -- 9. Algoritmos elaborados -- 10. Una introducción a los problemas NP completos -- Apéndice -- Bibliografía -- Índice Alfabético. ER -