01233aam a2200253 4500 3149 OSt 20260622100441.0 a0000002006 ck 0000000000spa00 9588060567 RDA 005.1 B677 2390 Bohórquez Villamizar, Jaime Alejandro Diseño efectivo de programas correctos 11809 Colombia : 16052 Editorial Escuela Colombiana de Ingeniería, 14124 2006 472 páginas 18406 Informática 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 Programación de computadores 54621 Programas para computador 54622 BK ddc 45821 45821 0 0 ddc 0 0 General CO-MdCUA CO-MdCUA Sala general - Primer piso 2012-04-02 0 005.1 B677 08365 2012-04-02 00:00:00 Ejemplar 1 2012-04-02 BK