- Editorial:
- GARCETA
- Año de edición:
- 2023
- Materia
- Programación
- ISBN:
- 978-84-19034-23-6
- Páginas:
- 400
ALGORITMOS Y ESTRUCTURAS DE DATOS
CON PROGRAMAS VERIFICADOS EN DAFNY
PEÑA MARÍ, RICARDO
Este libro 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 en estructuras de datos eficientes y otro semestre en mÉtodos algorÍtmicos. Supone una exposiciÒn previa a dos o tres semestres de asignaturas de programaciÒn donde se hayan tratado los conceptos bÄsicos, la sintaxis y 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 una exposiciÒn previa o simultÄnea al paradigma de programaciÒn funcional, a los fundamentos de la especificaciÒn y verificaciÒn formal de programas y a asignaturas de lÒgica y matemÄtica discreta.