Programación metódica - Balcázar, José Luis (Madrid : McGraw-Hill, 1993)
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.
Incluye ejercicios y bibliografía. --
Keywords: PROGRAMACIÓN