Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

Name: Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
Brand: Yves Bertotpierre Castérang Huetc Paulin-mohring
Price: 679.19 ILS
Availability: InStock

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

معاملة آمنة

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

الوصف

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

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

ترست بايلوت

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

فيكرام د.

جراب MOLLE ذو جودة استثنائية. سعيد جدًا بشرائي.

منذ أسبوعين

فاطمة أ.

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

منذ 3 أيام

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

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

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

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

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

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

حماية معززة

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

ضمان العملاء

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

تطبيق Desertcart

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

₪679

Israelمتجر

إرجاع مجاني

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

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

معاملة آمنة

ترست بايلوت

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

رافي س.

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

منذ شهرين

عبد الله ب.

سعر رائع لمنتج أصلي. شحن دولي سريع أيضًا!

منذ 3 أسابيع

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