Type-driven Development With Idris - Edwin Brady

599,00 DKK
+ 141,99 DKK Levering
  • product image

Type-driven Development With Idris - Edwin Brady

  • Brand: Unbranded
Sоlgt af:

Type-driven Development With Idris - Edwin Brady

  • Brand: Unbranded

599,00 DKK

kun 4tilbage på lager
+ 141,99 DKK Levering

14-dages returpolitik

Sоlgt af:

599,00 DKK

kun 4tilbage på lager
+ 141,99 DKK Levering

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

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.
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Manning Publications
  • Forfatter: Edwin Brady
  • Sprog: English
  • Antal sider: 480
  • Fruugo ID: 40095256-82035605
  • ISBN: 9781617293023

Levering

Sendes inden for 24 timer

  • STANDARD: 141,99 DKK - Levering mellem kl fre. 12 juni 2026–tor. 18 juni 2026

Afsendes fra Storbritannien.

Returnering

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne.

Se fuld returpolitik