02164nam a22002894a 4500 PE-BaUNAB 20241127173748.0 a||||gr|||| 001 0 ta t pe gr 00| 0 spa d M-24191-2023 978-84-1903-423-6 PE-BaUNAB spa esp 005.741 Peña Marí, Ricardo 11674 Algoritmos y estructuras de datos: con programas verificados en Dafny 2a ed. Madrid: Garceta, 2019 382 p. fig., Este libro universitario presenta una amplia variedad de estructuras de datos y de métodos algorítmicos con el objetivo de servir como texto base para uno o dos cursos avanzados de programación. El contenido es apropiado para un semestre dedicado a estructuras de datos eficientes y otro semestre a métodos algorítmicos. Supone una exposición previa a dos o tres semestres de materias de programación donde se hayan tratado los conceptos básicos, la sintaxis y la semántica de un lenguaje de programación, la recursión, las estructuras de datos lineales y las nociones de clase y objeto. Es también recomendable tener conocimientos previos o simultáneos del paradigma de programación funcional, fundamentos de especificación y verificación formal de programas y de lógica y matemática discreta. 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 verificación asistida. Como material asociado al libro, 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 verificación de los programas sin más que procesarlos con dicha plataforma. Dicho material puede descargarse desde la web de la editorial Garceta. Algoritmos 11675 Estructura de datos (Computadoras) 9110 Programación Computadoras 11414 ddc LIB 2024-11-27 ftmr ddc CULTG B01 B01 2024-11-27 COMPRA 0 005.741 P42 01L000006677 2024-11-27 17:39:53 1 LIB ddc CULTG B01 B01 2024-11-27 COMPRA 0 005.741 P42 ej.2 01L000006678 2024-11-27 17:39:53 2 LIB ddc CULTG B01 B01 2024-11-27 COMPRA 0 005.741 P42 ej.3 01L000006679 2024-11-27 17:39:53 3 LIB 5204 5204