Libro Metodología y Tecnología de La Programación II

portada

contraportada

Fe de erratas

 

Datos generales

Autores: Margarita Díaz Roca y Juan Carlos Rodríguez del Pino
Edición: Vicerrectorado de Planificación y Calidad de la Universidad de Las Palmas de Gran Canaria. 2004.
ISBN: 84-96131-95-5
Páginas: 391

Contenido

1: 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