000 00687nam a2200205Ia 4500
005 20250107234232.0
008 250106s2013 xx 000 0 und d
020 _a14096
082 _a005.133/M26
100 _aMartí Oliet, Narciso
245 0 _aAlgoritmos correctos y eficientes: Diseño razonado ilustrado con ejercicios
250 _a1a. ed.
260 _aMadrid
_bGarceta Grupo Editorial
_c2013
300 _a236
_e
505 _aEspecificación de algoritmos. Verificación. Análisis de complejidad. Derivación de algoritmos iterativos. Derivación de algoritmos recursivos.
700 _a Clara
700 _a Segura
700 _a Verdejo, Alberto
942 _cLIB
999 _c71304
_d71304