Este libro, titulado 'Diseño y verificación de algoritmos', es una obra de Francisco J. Perales López, publicada por Edicions UIB en 1998. Forma parte de la serie 'Materials Didàctics' y se centra en el diseño y la verificación de algoritmos, con un enfoque en programas recursivos. El libro está dirigido a un público general interesado en matemáticas y estructuras de datos, y ofrece una bibliografía relacionada con la asignatura, cubriendo los objetivos del temario. Con 145 páginas, este libro en tapa blanda es una valiosa herramienta para estudiantes y profesionales del campo.