Type-driven Development With Idris - Edwin Brady

79,00 €
+ 17,99 € Doručenie
  • product image

Type-driven Development With Idris - Edwin Brady

  • Značka: Unbranded
Predáva:

Type-driven Development With Idris - Edwin Brady

  • Značka: Unbranded

79,00 €

Iba 4 zostáva na sklade
+ 17,99 € Doručenie

Politika vrátenia 14 dní

Predáva:

79,00 €

Iba 4 zostáva na sklade
+ 17,99 € Doručenie

Politika vrátenia 14 dní

Spôsoby platby:

Popis

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.
  • Značka: Unbranded
  • Kategória: Počítače a internet
  • Počet strán: 480
  • Formátovať: Paperback
  • Jazyk: English
  • Autor: Edwin Brady
  • Vydavateľ / štítok: Manning Publications
  • Fruugo ID: 40095256-82035605
  • ISBN: 9781617293023

Doručenie

Odoslané do 24 hodín

  • STANDARD: 17,99 € - Doručenie medzi po 15 júna 2026–št 18 júna 2026

Doručenie od Spojené kráľovstvo.

Vrátenie tovaru

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu.

Pozrite si všetky pravidlá vrátenia