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

₺1.949,00
+ ₺1.056,99 Kargo

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

Satıcı:
  • product image

₺1.949,00

Stokta var
+ ₺1.056,99 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

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
  • Dil: English
  • Yazar: Boro Sitnikovski
  • Sayfa Sayısı: 176
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 469709813-983664732
  • ISBN: 9781484292587

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.056,99 - Arasında teslimat Cum 07 Ağustos 2026–Cum 14 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