Type-driven Development With Idris - Edwin Brady

104,00 $ CA
+ 25,49 $ CA Livraison
  • product image

Type-driven Development With Idris - Edwin Brady

  • Marque: Unbranded
Verkocht door:

Type-driven Development With Idris - Edwin Brady

  • Marque: Unbranded

104,00 $ CA

Seulement 4 disponible(s)
+ 25,49 $ CA Livraison

Politique de retour sur 14 jours

Verkocht door:

104,00 $ CA

Seulement 4 disponible(s)
+ 25,49 $ CA Livraison

Politique de retour sur 14 jours

Modes de paiement:

Description

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.
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Auteur: Edwin Brady
  • Nombre de pages: 480
  • Editeur / Label: Manning Publications
  • Format: Paperback
  • Langue: English
  • Identifiant Fruugo: 40095256-82035605
  • ISBN: 9781617293023

Livraison

Expédition dans les 24 heures

  • STANDARD: 25,49 $ CA - Livraison entre mer. 17 juin 2026–lun. 22 juin 2026

Expédition de Royaume-Uni.

Retours

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et selon vos indications. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et recevoir un remboursement complet des articles.

Voir l'intégralité de la politique de retour