Type-driven Development With Idris - Edwin Brady

₺3.399,00
+ ₺1.077,49 Kargo
  • product image

Type-driven Development With Idris - Edwin Brady

  • Marka: Unbranded
Satıcı:

Type-driven Development With Idris - Edwin Brady

  • Marka: Unbranded

₺3.399,00

Stokta kalan sadece 4
+ ₺1.077,49 Kargo

14 Günlük İade Politikası

Satıcı:

₺3.399,00

Stokta kalan sadece 4
+ ₺1.077,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Tanım

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
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Dil: English
  • Yazar: Edwin Brady
  • Sayfa Sayısı: 480
  • Yayıncı / Etiket: Manning Publications
  • Fruugo Kimliği: 40095256-82035605
  • ISBN: 9781617293023

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.077,49 - Arasında teslimat Çar 17 Haziran 2026–Çar 24 Haziran 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle