TY  - BOOK
AU  - Martí Oliet,Narciso
AU  - Segura Díaz,Clara María
AU  - Verdejo López,José Alberto
TI  - Especificación, derivación y análisis de algoritmos: Ejercicios resueltos / 
SN  - 9788483222928
U1  - 005.1 21
PY  - 2006///
CY  - Madrid
PB  - Pearson
KW  - LEMB
KW  - Estructura de datos
KW  - (informática)
KW  - Estructura de datos (informática)
KW  - problemas, ejercicios
KW  - Algoritmos (computadores)
N1  - Posee índice onomástico; Incluye material bibliográfico en la página 187; 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  -