TY  - BOOK
AU  - Martí Oliet,Narciso
AU  - Segura Díaz,Clara Segura
AU  - Verdejo López,José Alberto
TI  - Especificación, derivación y análisis de algoritmos : : ejercicios resueltos / 
T2  - Prentice Práctica
SN  - 8483222922
PY  - 2006///
CY  - Madrid : 
PB  - Pearson Educación, 
KW  - ALGORITMOS COMPUTACIONALES
KW  - ESTRUCTURAS DE DATOS
KW  - INFORMATICA
KW  - PROBLEMAS
N2  - 1- Especificación de algoritmos. 2- Verificación. 3- Análisis de complejidad. 4- Derivación de algoritmos iterativos. 5- Derivación de algoritmos recursivos. Bibliografía
ER  -