Encara no hi ha cap producte a la teva cistella
Algoritmos y estructuras de datos
Compra segura
Entrega en 1-2 dies laborables
Enviament gratuït a partir de 19 € en llibres i a partir de 39 € en la resta d'articles.
Descripció
Este libro universitario presenta una amplia variedadde 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 tratadolos conceptos básicos, la sintaxis y la semántica deun 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 quecasi las dos terceras partes de los algoritmos se presentan especificados y verificados formalmente en laplataforma 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 condicha plataforma. Dicho material puede descargarse desde la web de la editorial Garceta.
Fitxa tècnica - Algoritmos y estructuras de datos
Tipus de producte:
Llibre
Idioma:
Castellà
EAN:
9788417289270
Referència Abacus:
1315749.43
Editorial:
Garceta
Productes relacionats Peña Mari, Ricardo
5% descompte
Empaquetado de regalo
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Donec a nulla in felis convallis finibus in ut diam. Aliquam accumsan vitae purus vitae cursus. Integer sollicitudin leo id fermentum efficitur. Interdum et malesuada fames ac ante ipsum primis in faucibus. Nullam hendrerit et purus facilisis dignissim. Pellentesque eu dui ut eros consectetur elementum a ultricies lorem. Vestibulum posuere mollis mi, sit amet rhoncus nunc rutrum feugiat. Duis vitae metus quis tortor laoreet lobortis ac eu elit. Suspendisse in ligula leo. Aliquam ultricies metus est, a pretium ex vestibulum vitae.
El empaquetado para regalo online incluye:
✔ Una caja individual para tu joya.
✔ Una bolsa Pandora de regalo 100% reciclable.
✔ Un mensaje de regalo personalizado impreso.
*Si no escoges el empaquetado para regalo, se te enviarán varios artículos agrupados en una misma caja, sin bolsa.
Comprovar disponibilitat de Click&Collect
Indica la teva localitat per trobar la teva botiga més propera