TY - BOOK AU - Bohórquez Villamizar, Jaime Alejandro TI - Diseño efectivo de programas correctos T2 - Informática SN - 9588060567 U1 - 005.1 B677 PY - 2006/// CY - Colombia PB - Editorial Escuela Colombiana de Ingeniería KW - Programación de computadores KW - Programas para computador N1 - Incluye índice; Incluye bibliografía; 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 en estructuras lineales -- Estructuras notables -- Programación dinámica -- Métodos voraces -- Exploración de grafos - Intratabilidad ER -