El presente volumen nace como respuesta a las necesidades de los estudiantes de matemáticas. No obstante, la utilidad del texto va mucho más allá: se ofrece una visión global de las herramientas formales para la construcción de programas, con especial énfasis en los algoritmos matemáticos, recogiendo el conocimiento que sobre programación formal debe tener no sólo todo matemático, sino también cualquier lector interesado en la formalización del desarrollo de sistemas informáticos. El texto presenta, además, los principales paradigmas de programación y sus lenguajes más representativos, con un...