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

٢٬١٤٩٫٠٠ E£
+ ١٬٣٢٣٫٤٩ E£ الشحن

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

البائع:
  • product image

٢٬١٤٩٫٠٠ E£

في المخزون
+ ١٬٣٢٣٫٤٩ E£ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

  • العلامة التجارية: Unbranded

الوصف

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.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: en
  • المؤلف: Boro Sitnikovski
  • الطول: 176
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 491682123-1015259208
  • ISBN: 9781484292587

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ١٬٣٢٣٫٤٩ E£ - التسليم بين الاثنين 03 أغسطس 2026 – الجمعة 07 أغسطس 2026

يُشحن من المملكة المتحدة.

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة