Este libro es una obra fundamental para quienes desean profundizar en estructuras de datos y métodos algorítmicos. Está diseñado para ser utilizado en uno o dos cursos avanzados de programación, siendo ideal para estudiantes que ya cuentan con una base sólida en programación.
- Amplia variedad de estructuras de datos.
- Métodos algorítmicos relevantes para la programación avanzada.
- Secciones dedicadas a la recursión, clases y objetos.
- Énfasis en la verificación formal de programas utilizando la plataforma Dafny.
Esta segunda edición incluye:
- Correcciones de erratas de la edición anterior.
- Actualización de la bibliografía.
- Nueva sección en el capítulo 5 sobre la unión de dos AVL en tiempo lineal.
Enfoque Original
El enfoque del libro es notable porque casi dos terceras partes de los algoritmos se presentan especificados y verificados formalmente en Dafny. Esto permite a los lectores:
- Reproducir la verificación de los programas.
- Acceder a los ficheros Dafny que incluyen el texto completo de todos los algoritmos y sus especificaciones formales.
Material Asociado
El libro proporciona acceso a material adicional, que puede descargarse desde la página web de la editorial Garceta: http://www.garceta.es.
Opinión Crítica
En mi opinión, Algoritmos y Estructuras de Datos con Programas Verificados en Dafny es una obra muy completa y bien estructurada que no solo se centra en la teoría, sino que también incorpora prácticas de verificación formal, lo que lo convierte en un recurso invaluable para estudiantes y profesionales en el campo de la programación. La combinación de algoritmos y estructuras de datos con la verificación formal ofrece una perspectiva única que puede enriquecer la formación de cualquier programador.