TY  - BOOK
AU  - Balcázar,José Luis
TI  - Programación metódica
SN  - 8448119576
PY  - 1993///
CY  - Madrid
PB  -  McGraw-Hill
KW  - PROGRAMACIÓN
N1  - Incluye ejercicios y bibliografí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
ER  -