ejercicios resueltos Martí Oliet, Narciso creator Segura Díaz, Clara María Verdejo López, José Alberto text sp Madrid Pearson 2006 monographic spa 198 p. : il. ; 27 cm. Prólogo.-- Cap.1 Especificación de algoritmos. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 2. Verificación. Introducción. Reglas básicas de verificación . Precondición más débil. Reglas específicas. Verificación de algoritmos recursivos. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 3. Análisis de complejidad. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 4. Derivación de algoritmos iterativos. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 5. Derivación de algoritmos recursivos. Introducción. Análisis por casos y composición. Técnicas de inmersión . Técnica de desplegado y plegado. Transformación de recursivo lineal a iterativo.-- Ejercicios resueltos . Ejercicios propuestos.-- Bibliografía.-- Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López. ALGORITMOS 004.42 8483222922 9788483222928 UTN FRRo 240624 595 spa