ISBN: 9788419034236 - algoritmos y estructuras de datos: con programas verificados en dafny (2 Ergebnisse)

Zustand: New. Idioma/Language: Español. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla.

Rústica. Zustand: New. Zustand des Schutzumschlags: Nuevo. 02. 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. LIBRO.…