ALGORITMOS Y ESTRUCTURAS DE DATOS CON PROGRAMAS VERIFICADOS EN DANFY 2ª EDICION - Ricardo Peña Marí,

Autor: Ricardo Peña Marí, RICARDO PEÑA MARI

ISBN: 8419034231

EAN: 9788419034236

Este libro presenta una amplia variedad de estructuras de datos y de metodos algoritmicos con el objetivo de servir como texto base para uno o dos cursos avanzados de programacion. El contenido es apropiado para un semestre en estructuras de datos eficientes y otro semestre en metodos algoritmicos. Supone una exposicion previa a dos o tres semestres de asignaturas de programacion donde se hayan tratado los conceptos basicos, la sintaxis y semantica de un lenguaje de programacion, la recursion, las estructuras de datos lineales y las nociones de clase y objeto. Es tambien recomendable una exposicion previa o simultanea al paradigma de programacion funcional, a los fundamentos de la especificacion y verificacion formal de programas y a asignaturas de logica y matematica discreta. En esta segunda edicion se han corregido erratas detectadas en la edicion anterior, se ha actualizado la bibliografia y se añadido una seccion nueva en el capitulo 5 dedicado a la union de dos AVL en tiempo lineal. El enfoque del libro es original por el hecho de que casi las dos terceras partes de los algoritmos se presentan especificados y verificados formalmente en la plataforma Dafny de verificacion asistida. Como material asociado al mismo, se distribuyen los ficheros Dafny con el texto completo de todos los algoritmos, junto con sus especificaciones formales y asertos intermedios necesarios. El lector puede reproducir la verificacion de los programas sin mas que procesarlos con dicha plataforma. Dicho material puede descargarse de la pagina web que el libro tiene en la editorial Garceta: http://www.garceta.es.