Algoritmos y estructuras de datos

Peña Mari, Ricardo

Garceta

Más información

Detalles del producto

Sinopsis de Algoritmos y estructuras de datos

Sinopsis de Algoritmos y estructuras de datos

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.

Ficha técnica

Ficha técnica

Tipo de producto: Libro
EAN: 9788417289270
Referencia Abacus: 1315749.43
Envío gratis a partir de 19€ en todos los libros
Socio/a Abacus 28,50€
PVP 30,00€
Socio/a Abacus 28,50€
PVP 30,00€
Este producto no está disponible. Por favor, selecciona otra opción.
Has añadido la cantidad máxima disponible.
Socio/a Abacus 28,50€
PVP 30,00€

Ver disponibilidad en la librería

Recógelo gratis en 2 horas.

Producto sin stock

Socio/a Abacus 28,50€
PVP 30,00€

Detalles del producto

Sinopsis de Algoritmos y estructuras de datos

Sinopsis de Algoritmos y estructuras de datos

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.

Ficha técnica

Ficha técnica

Tipo de producto: Libro
EAN: 9788417289270
Referencia Abacus: 1315749.43
Socio/a Abacus 28,50€
PVP 30,00€

Comprobar disponibilidad de Click&Collect

Indica tu localidad para encontrar tu tienda más cercana