TY  - BOOK
AU  - Martí Oliet,Narciso
AU  - Segura Díaz,Clara
AU  - Verdejo López,José Alberto
TI  - Especificación, derivación y análisis de algoritmos: ejercicios resueltos 
SN  - 9788483222928 (pasta blanda)
U1  - 005.1 21 ed.
PY  - 2006///
CY  - Madrid
PB  - Pearson Educación
KW  - Algoritmos (Computadores)
KW  - Problemas, Ejercicios, etc
KW  - Estructura de Datos (Informática)
KW  - Problemas, ejercicos, etc
N1  - Incluye referencias bibliográficas; Cap. 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
ER  -