{"product_id":"9788419034236","title":"ALGORITMOS Y ESTRUCTURAS DE DATOS CON PROGRAMAS VERIFICADOS EN DAFNY ( 2ª EDICIO","description":"\u003ch2\u003eAlgoritmos y Estructuras de Datos con Programas Verificados en Dafny (2ª Edición)\u003c\/h2\u003e\n\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEsta obra ofrece un tratamiento avanzado y riguroso de las estructuras de datos y los métodos algorítmicos, utilizando el lenguaje de verificación formal Dafny como herramienta central. El lector encontrará una exposición detallada de técnicas eficientes de programación, acompañadas de programas verificados que garantizan su corrección. El libro está diseñado para servir como texto base en cursos superiores de programación, combinando teoría, práctica y demostración formal.\u003c\/p\u003e\n\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro aborda una amplia variedad de estructuras de datos y métodos algorítmicos, organizados para cubrir dos semestres avanzados de programación. En la primera parte, se centra en estructuras de datos eficientes, como árboles balanceados, montículos y tablas hash, explicando su implementación y propiedades. En la segunda parte, explora métodos algorítmicos fundamentales, incluyendo algoritmos de ordenación, búsqueda, divide y vencerás, programación dinámica y algoritmos voraces.\u003c\/p\u003e\n\u003cp\u003eUna característica distintiva es el uso de Dafny, un lenguaje que permite especificar y verificar formalmente la corrección de los programas. Cada algoritmo y estructura se presenta junto con su especificación formal y su demostración de corrección, lo que proporciona un nivel de rigor poco común en los textos de programación. La obra asume conocimientos previos sólidos de programación, incluyendo recursión, estructuras de datos lineales y nociones de programación orientada a objetos.\u003c\/p\u003e\n\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eEstructuras de datos eficientes: árboles balanceados (AVL, rojo-negro), montículos, colas de prioridad, tablas hash y grafos.\u003c\/li\u003e\n\u003cli\u003eMétodos algorítmicos: divide y vencerás, programación dinámica, algoritmos voraces, backtracking y algoritmos de ordenación avanzados.\u003c\/li\u003e\n\u003cli\u003eEspecificación y verificación formal de programas mediante el lenguaje Dafny.\u003c\/li\u003e\n\u003cli\u003eAnálisis de complejidad temporal y espacial de algoritmos.\u003c\/li\u003e\n\u003cli\u003eImplementación de programas correctos por construcción, con demostraciones formales de propiedades.\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEstá dirigido a estudiantes universitarios de ingeniería informática, matemáticas o ciencias de la computación que hayan completado al menos dos o tres semestres de asignaturas de programación. También es adecuado para profesionales que deseen profundizar en la verificación formal de programas y en algoritmos avanzados. Se recomienda tener conocimientos previos o simultáneos de programación funcional, lógica, matemática discreta y fundamentos de especificación formal.\u003c\/p\u003e\n\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eUn enfoque riguroso que combina teoría algorítmica con verificación formal, garantizando la corrección de los programas.\u003c\/li\u003e\n\u003cli\u003eMás de 400 páginas de contenido avanzado, con ejemplos prácticos y programas verificados en Dafny.\u003c\/li\u003e\n\u003cli\u003ePreparación para abordar problemas complejos de programación con un alto nivel de abstracción y precisión.\u003c\/li\u003e\n\u003cli\u003eBase sólida para la investigación o el desarrollo en áreas que requieren software crítico y fiable.\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e Ricardo Peña Marí\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Ibergarceta Publicaciones S.L.\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Español\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eTema:\u003c\/strong\u003e Ingeniería mecánica y de materiales, Algoritmos y estructuras de datos\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eColección:\u003c\/strong\u003e Ciclos Formativos\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEncuadernación:\u003c\/strong\u003e Bolsillo\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFecha de edición:\u003c\/strong\u003e septiembre de 2023\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 400\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 6774 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEsta segunda edición consolida un texto de referencia para cursos avanzados de programación, destacando por su enfoque en la verificación formal. La inclusión de Dafny como lenguaje de trabajo no es un mero añadido, sino que vertebra toda la exposición, ofreciendo al lector una metodología para construir programas correctos desde su especificación. Resulta especialmente valiosa para aquellos que buscan un tratamiento profundo y formal de los algoritmos, más allá de la mera implementación práctica.\u003c\/p\u003e","brand":"IBERGARCETA PUBLICACIONES S.L.","offers":[{"title":"Default Title","offer_id":53434729267547,"sku":"9788419034236","price":35.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978841903423.jpg?v=1782306421","url":"https:\/\/kalamobooks.com\/products\/9788419034236","provider":"Kalamo Books","version":"1.0","type":"link"}