Type-driven Development With Idris - Edwin Brady

28 290,00 Ft
+ 7 099,00 Ft szállítási költség
  • product image

Type-driven Development With Idris - Edwin Brady

  • Márka: Unbranded
Értékesítő:

Type-driven Development With Idris - Edwin Brady

  • Márka: Unbranded

28 290,00 Ft

Már csak 4 maradt
+ 7 099,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Értékesítő:

28 290,00 Ft

Már csak 4 maradt
+ 7 099,00 Ft szállítási költség

14 napos visszaküldési szabályzat

Fizetési módok:

Leírás

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árka: Unbranded
  • Kategória: Számítástechnika és internet
  • SzerzÅ‘: Edwin Brady
  • Lapok száma: 480
  • Nyelv: English
  • Formátum: Paperback
  • Kiadó / Címke: Manning Publications
  • Fruugo azonosító: 40095256-82035605
  • ISBN: 9781617293023

Szállítás

Feladott 24 órán belül

  • STANDARD: 7 099,00 Ft - közötti szállítás H 15 június 2026–Cs 18 június 2026

Szállítás innen: Egyesült Királyság.

Visszaküldés

Minden tőlünk telhetőt megteszünk annak biztosítására, hogy rendelését hiánytalanul és előírásainknak megfelelően szállítás ki önnek. Viszont ha egy hiányos rendelést kap, vagy eltér a megrendelttől, vagy bármilyen más okból nem elégedett a rendeléssel, akkor visszaküldheti a rendelést vagy a rendelésben lévő bármely terméket, és visszatérítik a termék árának teljes összegét.

Teljes visszaküldési irányelvek megtekintése.