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: ١٢٫٤٩٠ د.ب.‏ - التسليم بين الاثنين 09 نوفمبر 2026 – الاثنين 07 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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