Type-driven Development With Idris - Edwin Brady

CHF 59.00
+ CHF 11.49 Spedizione
  • product image

Type-driven Development With Idris - Edwin Brady

  • Marchio: Unbranded
Venduto da:

Type-driven Development With Idris - Edwin Brady

  • Marchio: Unbranded

CHF 59.00

Solo 4 restante in magazzino
+ CHF 11.49 Spedizione

Politica di reso a 14 giorni

Venduto da:

CHF 59.00

Solo 4 restante in magazzino
+ CHF 11.49 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: CHF 11.49 - Consegna tra gio 18 giugno 2026–mar 23 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