Type-driven Development With Idris - Edwin Brady

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

Type-driven Development With Idris - Edwin Brady

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

Type-driven Development With Idris - Edwin Brady

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

٣٬٧٩٩٫٠٠ E£

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

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

البائع:

٣٬٧٩٩٫٠٠ E£

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

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

طرق الدفع:

الوصف

Type-driven Development With Idris - Edwin Brady

Description Types Are Often Seen As A Tool For Checking Errors, With The Programmer Writing A Complete Program First And Using The Type Checker To Detect Errors. And While Tests Are Used To Show Presence Of Errors, They Can Only Find Errors That You Explicitly Test For. In Typedriven Development, Types Become Your Tools For Constructing Programs And, Used Appropriately, Can Show The Absence Of Errors.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Edwin Brady
  • عدد الصفحات: 480
  • الناشر/ العنوان: Manning Publications
  • هوية Fruugo: 40095256-82035605
  • ISBN: 9781617293023

توصيل

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

  • STANDARD: ١٬٤٦١٫٩٩ E£ - التسليم بين الخميس 18 يونيو 2026 – الأربعاء 24 يونيو 2026

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

الإرجاع

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

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