TY  - BOOK
AU  - MartÃ­ Oliet,Narciso
AU  - Segura DÃ­az,Clara MarÃ­a
AU  - Verdejo LÃ³pez,JosÃ© Alberto
TI  - Especificaciones, derivaciÃ³n y anÃ¡lisis de algoritmos: ejercicios resueltos 
SN  - 9788483222928
PY  - 2006///
CY  - Madrid
PB  - Pearson EducaciÃ³n
KW  - INFORMATICA
KW  - Spines
KW  - ALGORITMOS
N1  - BibliografÃ­a: p. 187-188; CapÃ­tulo 1 EspecificaciÃ³n de algoritmos. IntroducciÃ³n. Ejercicios resueltos. Ejercicios propuestos 
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 
CapÃ­tulo 3. AnÃ¡lisis de complejidad. IntroducciÃ³n. Ejercicios resueltos. Ejercicios propuestos 
CapÃ­tulo 4. DerivaciÃ³n de algoritmos iterativos. IntroducciÃ³n. Ejercicios resueltos. Ejercicios propuestos 
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
ER  -