000 01233aam a2200253 4500
001 3149
003 OSt
005 20260622100441.0
008 a0000002006 ck 0000000000spa00
020 _a9588060567
040 _cRDA
082 _a005.1 B677
100 _92390
_aBohórquez Villamizar, Jaime Alejandro
245 _aDiseño efectivo de programas correctos
264 _911809
_aColombia :
_916052
_bEditorial Escuela Colombiana de Ingeniería,
_914124
_c2006
300 _a472 páginas
490 _918406
_aInformática
500 _aIncluye índice
504 _aIncluye bibliografía
505 _aCá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
650 1 0 _aProgramación de computadores
_954621
650 1 0 _aProgramas para computador
_954622
942 _cBK
_2ddc
999 _c45821
_d45821