Diseño efectivo de programas correctos

Bohórquez Villamizar, Jaime Alejandro - Bogotá : Escuela Colombiana de Ingeniería - 2006
Incluye referencias bibliográficas; índice temático

Cálculo lógico -- La programación como ciencia -- Corrección y derivación de programas iterativos -- Corrección y derivación de programas recurrentes -- Complejidad algorítmica -- Ecuaciones de recurrencia -- Métodos generales de solución de problemas -- Divide y vencerás -- Técnicas avanzadas de derivación -- Búsqueda de estructuras lineales -- Estructuras notables -- Programación dinámica -- Métodos voraces -- Exploración de grafos -- Intratabilidad.