Especificación y corrección. Verificación y derivación. El 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. Búsqueda lineal con Booleano. Búsqueda en estructuras ordenadas. Algoritmos de ordenación. Algunas consideraciones prácticas. Bibliografía. Índice. "
Títulos relacionados con Programación metódica:
*Para península. Tiempo estimado para días laborables
