Especifiación, derivación y análisis de algoritmos : ejercicios resueltos /
Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López.
- Madrid : Pearson, 2006.
- 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.--