Especificación, derivación y análisis de algoritmos:
Ejercicios resueltos

Aunque los temas relacionados con la especificaci�n y verificaci�n formal de programas no gozan de mucha popularidad, es importante su inclusi�n en los temarios, sobre todo haciendo m�s hincapi� en la derivaci�n de programas a partir de su especificaci�n, de forma que se obtiene un algoritmo correcto por construcci�n.

Con el presente libro se intenta contribuir a paliar este d�ficit, pero adem�s en un formato apropiado para los alumnos que demandan como complemento a los "libros de teor�a" y a los apuntes de clase, un libro de ejercicios resueltos.

De esta forma, cada cap�tulo comienza con una breve introducci�n cuyo objetivo es repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios, pero no supone un tratamiento detallado del tema, para el cual se remite a algunos libros de teor�a, como el de Ricardo Pe�a: "Dise�o de programas". La parte principal de cada cap�tulo consiste en una serie de ejercicios resueltos de dificultad creciente. Adem�s, al final de cada cap�tulo se proponen nuevos ejercicios para resolver por el lector.

La idea de la verificaci�n es que uno tiene tanto la especificaci�n como el programa y se comprueba a posteriori que en efecto el programa cumpla su especificaci�n. Para ello se utiliza una serie de reglas que se presentan e ilustran en los dos primeros cap�tulos. En el proceso de derivaci�n se usan esas mismas reglas, pero de una forma completamente distinta, que es la que se ilustra en los cap�tulos 4 y 5. El cap�tulo intermedio, el 3, se dedica a introducir los conceptos b�sicos para analizar el coste de un programa, puesto que este ingrediente tambi�n es �til para construir programas que adem�s de correctos sean eficientes.

@book{MartiOlietSeguraVerdejo06,
	Author = {Narciso Mart\'{\i} Oliet and Clara Segura and Alberto Verdejo},
	Publisher = {Pearson/Prentice Hall},
	Series = {Colecci\'on Prentice Practica},
	Title = {Especificaci\'on, derivaci\'on y an{\'a}lisis de algoritmos: Ejercicios resueltos},
	Year = {2006}}