Type-driven Development With Idris - Edwin Brady

279,00 zł
+ 78,99 zł wysyłka
  • product image

Type-driven Development With Idris - Edwin Brady

  • Marka: Unbranded
Sprzedawca:

Type-driven Development With Idris - Edwin Brady

  • Marka: Unbranded

279,00 zł

Tylko 4 zostało w magazynie
+ 78,99 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Sprzedawca:

279,00 zł

Tylko 4 zostało w magazynie
+ 78,99 zł wysyłka

Polityka zwrotów w ciągu 14 dni

Metody płatności:

Opis

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.
  • Marka: Unbranded
  • Kategoria: Komputery i Internet
  • Format: Paperback
  • Autor: Edwin Brady
  • Język: English
  • Wydawca / Wytwórnia płytowa: Manning Publications
  • Ilość stron: 480
  • Identyfikator Fruugo: 40095256-82035605
  • ISBN: 9781617293023

Dostawa

Wysyłka w ciągu 24 godzin

  • STANDARD: 78,99 zł - Dostawa między pt. 12 czerwca 2026–czw. 18 czerwca 2026

Wysyłka z Wielka Brytania

Zwroty

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty.

Pokaż pełną politykę zwrotów