Type-driven Development With Idris - Edwin Brady

724,00 kr
+ 90,99 kr Leverans
  • product image

Type-driven Development With Idris - Edwin Brady

  • Märke: Unbranded
Säljs av:

Type-driven Development With Idris - Edwin Brady

  • Märke: Unbranded

724,00 kr

Bara 4 kvar i lager
+ 90,99 kr Leverans

14-dagars returpolicy

Säljs av:

724,00 kr

Bara 4 kvar i lager
+ 90,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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.
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Format: Paperback
  • Sidantal: 480
  • Förläggare / Bolag: Manning Publications
  • Språk: English
  • Författare: Edwin Brady
  • Fruugo-ID: 40095256-82035605
  • ISBN: 9781617293023

Leverans

Skickas inom 24 timmar

  • STANDARD: 90,99 kr - Leverans mellan kl mån 15 juni 2026–tors 18 juni 2026

Leverans från Storbritannien.

Returer

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna.

Visa fullständig returpolicy