ALGORITMOS Y ESTRUCTURAS DE DATOS

ALGORITMOS Y ESTRUCTURAS DE DATOS

978-84-17289-27-0 / 9788417289270
Este libro universitario 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 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 tratado los conceptos básicos, la sintaxis y la 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 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 que casi las dos terceras partes de los algoritmos se presentan especificados y verificados formalmente en la plataforma 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
  • Envío en 2 días
  • Autor:
  • Editorial: IBERGARCETA PUBLICACIONES S.L.
  • ISBN: 978-84-17289-27-0
  • EAN: 9788417289270
  • Año: 2019
  • Lugar de edición: ESPAÑA
  • Nº páginas: 376
  • No todos los libros están en existencias en la librería. Y algunos (pocos) no están en ventas. Antes de venir confirme su disponibilidad y venalidad.

Otros libros del autor PEÑA MARI, RICARDO

DE EUCLIDES A JAVA: HISTORIA DE LOS ALGORITMOS Y DE LOS LENGUAJES DE PROGRAMACIÓN
27,90 €
Envío en 2 días
+ detalle

Otros libros la materia Programación informática / desarrollo de software

DESARROLLO WEB EN ENTORNO CLIENTE
DESARROLLO WEB EN ENTORNO CLIENTE
978-84-9171-490-3
FORMATO PAPEL
MORENO PEREZ, JUAN CARLOS
25,50 €
Envío en 2 días
+ detalle
Portada No Disponible
DESIGN PATTERNS ILLUSTRÉ AVEC C#7 ET WPF AVEC VISUAL STU
978-2-322-18901-4
FORMATO PAPEL
REY, PATRICE
37,40 €
Envío en 2 días
+ detalle
Portada No Disponible
LINQ TO XML EN PRATIQUE AVEC C#7 ET WPF AVEC VISUAL STU
978-2-322-19061-4
FORMATO PAPEL
REY, PATRICE
39,40 €
Envío en 2 días
+ detalle
CALIDAD DE SISTEMAS DE INFORMACIÓN. 5ª EDICIÓN AMPLIADA Y ACTUALIZADA
CALIDAD DE SISTEMAS DE INFORMACIÓN. 5ª EDICIÓN AMPLIADA Y ACTUALIZADA
978-84-9964-856-9
FORMATO PAPEL
PIATTINI VELTHUIS, MARIO G.
39,90 €
Envío en 2 días
+ detalle

Nuestro sitio utiliza cookies.

Utilizamos cookies propias y de terceros para mejorar la experiencia de navegación y mostrarte publicidad relacionada con tus preferencias. Si continúas navegando, consideramos que aceptas su uso.Información sobre la política de cookies.