Programación metódica

Balcázar, José Luis

Programación metódica - 1a ed. - Madrid : McGraw-Hill, c1993 - xvi, 416 p. ; 24 cm.

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.

8448119576

DIF-M130


PROGRAMACIÓN