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

٥٬٤٩٠٫٠٠ E£
+ ١٬٢٦٤٫٤٩ E£ الشحن
  • product image

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

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

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

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

٥٬٤٩٠٫٠٠ E£

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

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

البائع:

٥٬٤٩٠٫٠٠ E£

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

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

طرق الدفع:

الوصف

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.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: en
  • المؤلف: Aaron Stump
  • الطول: 284
  • الناشر/ العنوان: Association for Computing Machinery 6504698
  • هوية Fruugo: 491702017-1015279132
  • ISBN: 9781970001242

توصيل

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

  • STANDARD: ١٬٢٦٤٫٤٩ E£ - التسليم بين الأربعاء 08 يوليو 2026 – الثلاثاء 14 يوليو 2026

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

الإرجاع

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

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