Martí Oliet, Narciso <br/><br/>
Especificaciones, 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 Educación,  2006 
 - x, 188 p. ;  27 cm 
<br/><br/>Bibliografía: p. 187-188 
<br/><br/>Capítulo 1 Especificación de algoritmos. Introducción. Ejercicios resueltos. Ejercicios propuestos <br/>Capítulo 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 <br/>Capítulo 3. Análisis de complejidad. Introducción. Ejercicios resueltos. Ejercicios propuestos <br/>Capítulo 4. Derivación de algoritmos iterativos. Introducción. Ejercicios resueltos. Ejercicios propuestos <br/>Capítulo 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 
<br/><br/><label>ISBN: </label>9788483222928 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INFORMATICA<br/>ALGORITMOS
<br/><br/><label>Universal Decimal Class. No.: </label>004