elkar
Búsqueda
Avanzada
 
Cerrar
Correo electrónico:
Política L.O.P.D.

Libros  »  ciencias  »  informática  »  programación y análisis sistemas
Algoritmos Y Estructuras De Datos Con Programas Verificados En Dafny - Ricardo Peua Mari
Algoritmos Y Estructuras De Datos Con Programas Verificados En Dafny
  • ISBN: 978-84-17289-27-0
  • EAN: 9788417289270
  • Editorial: GARCETA GRUPO
  • Colección: TEXTO
  • Idioma: Castellano
  • Año de edición: 2019
  • Formato: RUSTICA
  • Número de páginas: 376
  • Tamaño: 240x170

1-3 semanas

30,00 €

tarjeta elkar 28,50 €

Añadir al carrito saskiratu

Gastos de envío ?

GRATIS en tienda

GRATIS en los puntos hapiick

EN CASA GRATIS a partir de 49€

Sinopsis
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 su

GASTOS DE ENVÍO GRATIS

  • En las librerías elkar
  • En los puntos Hapiick
  • En casa a partir de 49€ (solo en la península)

DEVOLUCIONES
Y CANCELACIONES

  • Máximo 15 días (desde la fecha de entrega)
  • Vías de devolución: en las librerías elkar, enviar al almacén (Portuetxe 88, 20.018 Donostia).
© 1998-2020 elkar liburu denda
X