BALCAZAR, JOSE LUIS
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. "
Texto de programación avanzada. Describe los contenidos con ejemplos. En muchos casos, cada capítulo emplea métodos y técnicas descritos en capítulos anteriores, de manera que proporciona ejemplos adicionales. Incluye gran cantidad de ejercicios que proceden de la Facultad de Informática de Barcelona y algunos de ellos han sido enunciados de examen en cursos pasados.
