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