TY  - BOOK
AU  - MartÃ­ Oliet,Narciso
AU  - Segura DÃ­az,Clara MarÃ­a
AU  - Verdejo LÃ³pez,JosÃ© Alberto
TI  - EspecifiaciÃ³n, derivaciÃ³n y anÃ¡lisis de algoritmos : : ejercicios resueltos / 
SN  - 8483222922
PY  - 2006///
CY  - Madrid : 
PB  - Pearson, 
KW  - ALGORITMOS
N1  - 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.--
ER  -