Normal view MARC view ISBD view

Metodología y tecnología de la programación II / Margarita Díaz Roca, Juan Carlos Rodríguez del Pino.

Díaz Roca, Margarita.
Contributor(s): Rodríguez del Pino, Juan Carlos | Universidad de Las Palmas de Gran Canaria. Vicerrectorado de Planificación y Calidad [ed.].
Material type: materialTypeLabelBook; Format: print Series: Manuales docentes universitarios. 12Área de enseñanzas técnicas.Publisher: [Las Palmas de Gran Canaria] : Universidad de Las Palmas de Gran Canaria, Vicerrectorado de Planificación y Calidad, 2004Description: 391 p. ; 24 cm.ISBN: 84-96131-95-5.Subject(s): Programación de ordenadores | Ingeniería de programas y sistemas de programación
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Home library Call number Status Loan Date due Barcode Item holds
Monografías 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3.06/DIA/met (Browse shelf) Checked out PREST. LIBROS 31/01/2020 3742514208
Total holds: 0

Índice: Introducción a la ingeniería del software. 2: Introducción a la verificación. Lógica de predicados. 3: Verificación de algoritmos iterativos. 4: Verificación de algoritmos recursivos. 5: Derivación de algoritmos. 6: Prueba de programas. 7: Introducción al análisis de la eficiencia de los algoritmos. 8: Notaciones asintóticas. 9: Análisis de la eficiencia de algoritmos iterativos. 10: Resolución de recurrencias. 11: Análisis de la eficiencia de algoritmos recursivos. 12: Algoritmos voraces. 13: Divide y vencerás. 14: Programación dinámica. 15: Vuelta atrás. 16: Introducción a los problemas NP-Completos.

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha