Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues)

Name: Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science
Price: 9020.48 EGP
Availability: InStock

معرّف المنتج: 227651681

معاملة آمنة

يُشترى معًا بشكل متكرر

الوصف

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues)

الأسئلة الشائعة

ترست بايلوت

الثقة 4.5 | 7300+ مراجعات

بوجا ر.

خدمة العملاء تجاوزت توقعاتي. مثالي لشراء المنتجات التي يصعب العثور عليها.

منذ أسبوع

علي ح.

شحن سريع وتغليف ممتاز. أداة ليثيرمان تبدو فاخرة ومتينة للغاية.

منذ يوم واحد

عرض جميع مراجعات ترست بايلوت

تسوّق عالميًا، ووفّر مع Desertcart

قيمة مقابل المال

أسعار تنافسية على مجموعة واسعة من المنتجات.

تسوّق عالميًا

نخدم أكثر من 300 مليون متسوق في أكثر من 200 دولة.

حماية معززة

خيارات دفع موثوقة يحبها المتسوقون في جميع أنحاء العالم.

ضمان العملاء

خيارات دفع موثوقة يحبها المتسوقون في جميع أنحاء العالم.

تطبيق Desertcart

تسوّق أثناء التنقل، في أي وقت وأي مكان.

E£ 9020

EGYPTمتجر

إرجاع مجاني

30 يومًالمستخدمي عضوية PRO

15 يومًابدون عضوية

معاملة آمنة

ترست بايلوت

الثقة 4.5 | 7300+ مراجعات

رافي س.

أحببت تنوع المنتجات المتاحة. سأقوم بالتسوق بالتأكيد مرة أخرى.

منذ شهرين

سوریش ك.

مندهش جدًا من الجودة وسرعة التوصيل. سأقوم بالتسوق هنا مرة أخرى.

منذ 4 أيام

عرض جميع مراجعات ترست بايلوت