Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

Name: Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer
Price: 31.74 KWD
Availability: InStock

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

معاملة آمنة

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

الوصف

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

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

ترست بايلوت

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

بوجا ر.

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

منذ أسبوع

يوسف أ.

تجربة رائعة بشكل عام. سأوصي بها للأصدقاء والعائلة.

منذ شهر

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

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

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

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

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

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

حماية معززة

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

ضمان العملاء

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

تطبيق Desertcart

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

KD 31.73

الرسوم والضرائب مشمولة

KUWAITمتجر

إرجاع مجاني

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

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