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