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

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

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

البائع:
  • product image

٢٬٠٩٩٫٠٠ E£

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

سياسة الإرجاع لمدة 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
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469709813-983664732
  • ISBN: 9781484292587

توصيل

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

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

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

الإرجاع

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

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