Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

₺5.090,00
+ ₺978,49 Kargo
  • product image

Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

  • Marka: Unbranded
Satıcı:

Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

  • Marka: Unbranded

₺5.090,00

Stokta var
+ ₺978,49 Kargo

14 Günlük İade Politikası

Satıcı:

₺5.090,00

Stokta var
+ ₺978,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Tanım

Verified Functional Programming In Agda - Aaron Stump - Paperback - en Book

Agda Is An Advanced Programming Language Based On Type Theory. Agda's Type System Is Expressive Enough To Support Full Functional Verification Of Programs, In Two Styles. In External Verification, We Write Pure Functional Programs And Then Write Proofs Of Properties About Them.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Uzunluk: 284
  • Dil: en
  • Yazar: Aaron Stump
  • Yayıncı / Etiket: Association for Computing Machinery 6504698
  • Fruugo Kimliği: 491702017-1015279132
  • ISBN: 9781970001242

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺978,49 - Arasında teslimat Çar 08 Temmuz 2026–Pzt 13 Temmuz 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