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

١٥٩٫٠٠ ر.س.‏
+ ١١١٫٩٩ ر.س.‏ الشحن
  • product image

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

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

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

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

١٥٩٫٠٠ ر.س.‏

في المخزون
+ ١١١٫٩٩ ر.س.‏ الشحن

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

البائع:

١٥٩٫٠٠ ر.س.‏

في المخزون
+ ١١١٫٩٩ ر.س.‏ الشحن

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

طرق الدفع:

الوصف

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: ١١١٫٩٩ ر.س.‏ - التسليم بين الأربعاء 29 يوليو 2026 – الاثنين 03 أغسطس 2026

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

الإرجاع

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

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