| 000 | 00940nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170131.0 | ||
| 008 | 230201s1993 sp r 000 0 spa d | ||
| 020 | _a8448119576 | ||
| 024 | 8 |
_aDIF-M130 _b130 _zDIF000137 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aBalcázar, José Luis | |
| 245 | 1 | 0 | _aProgramación metódica |
| 250 | _a1a ed. | ||
| 260 |
_aMadrid : _b McGraw-Hill, _cc1993 |
||
| 300 |
_axvi, 416 p. ; _c24 cm. |
||
| 500 | _aIncluye ejercicios y bibliografía. -- | ||
| 505 | 0 | _a Especificación y corrección -- Verificación y derivación -- Principio de inducción -- Programas recursivos -- Transformación de programas por inmersión -- Inmersión de especificaciones -- Programas iterativos -- Transformación de recursividad múltiple -- Búsqueda lineal con booleano -- Búsqueda en estructuras ordenadas -- Algoritmos de ordenación. | |
| 650 | 4 | _aPROGRAMACIÓN | |
| 942 | _cBK | ||
| 999 |
_c50141 _d50141 |
||