¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -    ¡BookFriday! 5% de descuento exclusivo online · Envío gratis en pedidos de + 18€    -   
Un día como hoy en 1694 nació Voltaire, escritor y filósofo francés, símbolo del pensamiento libre. ¿No has leído nada suyo? Empieza por aquí Descubrir >
Un día como hoy en 1694 nació Voltaire, escritor y filósofo francés, símbolo del pensamiento libre. ¿No has leído nada suyo? Empieza por aquí Descubrir >
Algoritmos Y Estructuras De Datos Con Programas Verificados En Dafny

Detalles del libro

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 especificaciones formales y asertos intermedios necesarios. El lector puede reproducir la verificación de los programas sin más que procesarlos con dicha plataforma. Dicho material puede descargarse desde la web de la editorial Garceta.

Ver más

  • Encuadernación Bolsillo
  • Autor/es Peña Marí, Ricardo
  • ISBN13 9788417289270
  • ISBN10 8417289275
  • Páginas 334
  • Año de Edición 2019
  • Idioma Castellano
Ver más
Algoritmos Y Estructuras De Datos Con Programas Verificados En Dafny

Algoritmos Y Estructuras De Datos Con Programas Verificados En Dafny

28,50€ 30,00€ -5%
Envío Gratis
Consulta disponibilidad
28,50€ 30,00€ -5%
Envío Gratis
Consulta disponibilidad
Nuestras libreras pueden consultar su disponibilidad y darte un estimado de cuándo estaría listo. Nuestras libreras pueden consultar su disponibilidad y darte un estimado de cuándo estaría listo.
Devolución gratis
¡Gracias por comprar en librerías reales! ¡Gracias por comprar en librerías reales!
  • Visa
  • Mastercard
  • Klarna
  • Bizum
  • American Express
  • Paypal
  • Google Pay
  • Apple Pay

Promocionales exclusivas, descuentos y novedades en nuestra newsletter

Habla con tu librera
¿Necesitas ayuda para encontrar un libro?
¿Quieres una recomendación personal?

Whatsapp