diseño y análisis de algoritmos funcionales e imperativos Galve Francés, Javier González Moreno, Juan Carlos Sánchez Calle, Ángel Velázquez Iturbide, J. Ángel text sp Madrid Ra-Ma 1993 monographic spa 502 p. : il. ; 23 cm. 1.- Introducción a la programación.-- 2.- Especificación de algoritmos funcionales.-- 3.- Especificación de algoritmos imperativos.-- 4.- Estructuras de datos.-- 5.- Semántica 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éndices: A Sintaxis del lenguaje de especificación. - B Ejemplo de algoritmos en SML y modula-2. - C Tabla de caracteres ASCII.-- Javier Galve Francés, Juan Carlos González Moreno, Ángel Sánchez Calle, J. Ángel Velázquez Iturbide. PROGRAMACIÓN ALGORITMOS ESTRUCTURAS DE DATOS 510.5 0201623501 UTN FRRo 251104 946 spa