Type-driven Development With Idris - Edwin Brady

69,00 €
+ 12,49 € Envío
  • product image

Type-driven Development With Idris - Edwin Brady

  • Marca: Unbranded
Vendido por:

Type-driven Development With Idris - Edwin Brady

  • Marca: Unbranded

69,00 €

Solo quedan 4 en el inventario
+ 12,49 € Envío

Política de devoluciones de 14 días

Vendido por:

69,00 €

Solo quedan 4 en el inventario
+ 12,49 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

Type-driven Development With Idris - Edwin Brady

Description Types Are Often Seen As A Tool For Checking Errors, With The Programmer Writing A Complete Program First And Using The Type Checker To Detect Errors. And While Tests Are Used To Show Presence Of Errors, They Can Only Find Errors That You Explicitly Test For. In Typedriven Development, Types Become Your Tools For Constructing Programs And, Used Appropriately, Can Show The Absence Of Errors.
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Número de páginas: 480
  • Autor: Edwin Brady
  • Editor / Marca: Manning Publications
  • Formato: Paperback
  • Nº de Fruugo : 40095256-82035605
  • ISBN: 9781617293023

Entrega

Enviado en 24 horas

  • STANDARD: 12,49 € - Entrega entre mar 16 junio 2026–jue 18 junio 2026

Envío desde Reino Unido.

Devoluciones

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos.

Vea la política de devolución completa