Type-driven Development With Idris - Edwin Brady

69,00 €
+ 16,99 € Spedizione
  • product image

Type-driven Development With Idris - Edwin Brady

  • Marchio: Unbranded
Venduto da:

Type-driven Development With Idris - Edwin Brady

  • Marchio: Unbranded

69,00 €

Solo 4 restante in magazzino
+ 16,99 € Spedizione

Politica di reso a 14 giorni

Venduto da:

69,00 €

Solo 4 restante in magazzino
+ 16,99 € Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Descrizione

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.
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Autore: Edwin Brady
  • Numero di pagine: 480
  • Casa editrice/Casa discografica: Manning Publications
  • Lingua: English
  • Formato: Paperback
  • ID Fruugo: 40095256-82035605
  • ISBN: 9781617293023

Consegna

Spedito entro 24 ore

  • STANDARD: 16,99 € - Consegna tra mar 16 giugno 2026–lun 22 giugno 2026

Spedizione da Regno Unito.

Resi

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli.

Visualizza la politica di reso completa