معلومات عنا

خدمات العملاء

دعم العملاء

الوصول الإقليمي

القانونية والسياسات

اجتماعي

احصل على التطبيق

قم بتوجيه الكاميرا لتنزيل التطبيق

Customer support

We're available 24/7 to help you!

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistan

Name: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistan
Price: 1857.44 MAD
Availability: InStock
Rating: 5 (1 reviews)

5.0/5

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

معاملة آمنة

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

الوصف

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistan

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

ترست بايلوت

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

ريما ج.

منصة مثالية للعناصر التي يصعب العثور عليها. كان التوصيل سريعًا.

منذ شهر

سنيها ت.

وصل المنتج في حالة ممتازة. خدمة رائعة بشكل عام.

منذ شهر

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

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

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

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

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

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

حماية معززة

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

ضمان العملاء

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

تطبيق Desertcart

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

1857 DH

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

Moroccoمتجر

إرجاع مجاني

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

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

معاملة آمنة

ترست بايلوت

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

سوریش ك.

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

منذ 4 أيام

فاطمة أ.

أفضل شحن دولي جربته على الإطلاق. يستحق كل قرش!

منذ 3 أيام

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