TY - BOOK AU - Martí Oliet, Narciso AU - Segura, Clara AU - Verdejo, Alberto TI - Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios / SN - 9788415452324 U1 - 005.1 PY - 2013/// CY - Madrid PB - Garceta KW - Algoritmos computacionales KW - Estudio y enseñanza KW - Estructura de datos (Computadoras) KW - Diseño N1 - Bibliografía: p. 235-236; Especificación de algoritmos. -- Verificación. -- Análisis de complejidad. -- Derivación de algoritmos iterativos. -- Derivación de algoritmos recursivos ER -