Type-driven Development With Idris - Edwin Brady

€ 69,00
+ € 11,49 Verzending
  • product image

Type-driven Development With Idris - Edwin Brady

  • Merk: Unbranded
Verkocht door:

Type-driven Development With Idris - Edwin Brady

  • Merk: Unbranded

€ 69,00

Nog maar 4 op voorraad
+ € 11,49 Verzending

14-dagen retourbeleid

Verkocht door:

€ 69,00

Nog maar 4 op voorraad
+ € 11,49 Verzending

14-dagen retourbeleid

Betaalmethoden:

Beschrijving

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.
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Auteur: Edwin Brady
  • Uitgever / Label: Manning Publications
  • Formaat: Paperback
  • Aantal pagina's: 480
  • Taal: English
  • Fruugo-ID: 40095256-82035605
  • ISBN: 9781617293023

Levering

Wordt binnen 24 uur verzonden

  • STANDARD: € 11,49 - Levering tussen vr 12 juni 2026–do 18 juni 2026

Verzending vanaf Verenigd Koninkrijk.

Retourneren

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen.

Bekijk het volledige retourbeleid