Type Theory And Formal Proof - Rob Nederpelt

٤٥٩٫٠٠ ر.ق.‏
+ ١٢٠٫٤٩ ر.ق.‏ الشحن

Type Theory And Formal Proof - Rob Nederpelt

البائع:

٤٥٩٫٠٠ ر.ق.‏

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

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

طرق الدفع:

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

الوصف

Type Theory And Formal Proof - Rob Nederpelt

Type Theory Is A Fast-evolving Field At The Crossroads Of Logic, Computer Science And Mathematics. This Book Provides A Gentle Step-by-step Introduction In The Art Of Formalizing Mathematics On The Basis Of Type Theory. It Is Suitable For A Broad Audience, Ranging From Undergraduate Students To Researchers.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Rob Nederpelt
  • عدد الصفحات: 466
  • الناشر/ العنوان: Cambridge University Press
  • هوية Fruugo: 469660829-983614416
  • ISBN: 9781107036505

توصيل

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

  • STANDARD: ١٢٠٫٤٩ ر.ق.‏ - التسليم بين الجمعة 07 أغسطس 2026 – الخميس 13 أغسطس 2026

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

الإرجاع

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

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

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

يرجى الاطلاع على معلومات الامتثال الخاصة بهذا المنتج الموضحة أدناه.

يتم توفير المعلومات التالية من قبل بائع التجزئة المستقل التابع لجهة خارجية الذي يبيع هذا المنتج.

الجهة المصنعة:
توضح المعلومات التالية تفاصيل الاتصال الخاصة بالجهة المصنعة للمنتج ذي الصلة والذي يُباع على Fruugo.

  • Cambridge University Press
  • Cambridge University Press
  • Lightning Source UK Ltd, Chapter House
  • Pitfield
  • Kiln Farm
  • Milton Keynes
  • GB
  • MK11 3LW
  • [email protected]
  • https://www.ingramcontent.com/

الشخص المسؤول في الاتحاد الأوروبي:
توضح المعلومات التالية معلومات الاتصال الخاصة بالشخص المسؤول في الاتحاد الأوروبي. الشخص المسؤول هو المُشغل الاقتصادي المُعيّن والكائن في الاتحاد الأوروبي والمسؤول عن التزامات الامتثال المتعلقة بالمنتج ذي الصلة الذي يُباع داخل الاتحاد الأوروبي.

  • Lightning Source France
  • Lightning Source France
  • 7696 Av. Johannes Gutenberg
  • Maurepas
  • FR
  • 85196
  • [email protected]
  • https://www.ingramcontent.com/pod-product-compliance