Logic And Computation Interactive Proof With Cambridge Lcf

٣٦٩٫٠٠ ر.ق.‏
+ ١١٢٫٩٩ ر.ق.‏ الشحن

Logic And Computation Interactive Proof With Cambridge Lcf

البائع:

٣٦٩٫٠٠ ر.ق.‏

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

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

طرق الدفع:


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

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

Logic And Computation Interactive Proof With Cambridge Lcf

A Study Of Techniques For Formal Theorem-proving, With Particular Reference To Cambridge Lcf (logic For Computable Functions). The Book Is Aimed At Graduate Students And Researchers In Theoretical Computer Science.
  • هوية Fruugo: 556916875-1125150479
  • ISBN: 9780521395601
التوصيل

توصيل

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

  • STANDARD: ١١٢٫٩٩ ر.ق.‏ - التسليم بين الثلاثاء 10 نوفمبر 2026 – الثلاثاء 08 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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