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

١٥٩٫٠٠ ر.ق.‏
+ ٩٥٫٩٩ ر.ق.‏ الشحن

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

البائع:
  • product image

١٥٩٫٠٠ ر.ق.‏

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

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

طرق الدفع:

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

تفاصيل المنتج

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.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Boro Sitnikovski
  • عدد الصفحات: 176
  • تاريخ النشر: 2023-03-18
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469709813-983664732
  • ISBN: 9781484292587
التوصيل

توصيل

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

  • STANDARD: ٩٥٫٩٩ ر.ق.‏ - التسليم بين الجمعة 11 سبتمبر 2026 – الخميس 17 سبتمبر 2026

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

الإرجاع

الإرجاع

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

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