Introduction To Dependent Types With Idris Encoding Program Proofs In Types - Boro Sitnikovski - Paperback - en Book

₺1.999,00
+ ₺1.010,49 Kargo

Introduction To Dependent Types With Idris Encoding Program Proofs In Types - Boro Sitnikovski - Paperback - en Book

Satıcı:
  • product image

₺1.999,00

Stokta var
+ ₺1.010,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

  • Marka: Unbranded

Tanım

Introduction To Dependent Types With Idris Encoding Program Proofs In Types - Boro Sitnikovski - Paperback - en Book

Dependent Types Are A Concept That Allows Developers To Write Proof-carrying Code. Idris Is A Programming Language That Supports Dependent Types. This Book Will Teach You The Mathematical Foundations Of Idris As Well As How To Use It To Write Software And Mathematically Prove Properties.the First Part Of The Book Serves As An Introduction To The Language's Underlying Theories.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Uzunluk: 176
  • Dil: en
  • Yazar: Boro Sitnikovski
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 491682123-1015259208
  • ISBN: 9781484292587

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.010,49 - Arasında teslimat Cum 31 Temmuz 2026–Çar 05 Ağustos 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