Interactive Theorem Proving 4th International Conference Itp 2013 Rennes France | Desertcart OMAN
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings: 7998 (Lecture Notes in Computer Science)
معرّف المنتج: 98033542
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
الأسئلة الشائعة
ترست بايلوت
الثقة 4.5 | 7300+ مراجعات
خالد ز.
تجربة رائعة من الطلب إلى التسليم. موصى به بشدة!
منذ أسبوع
عمران ف.
متجر موثوق للغاية ومنتجات أصلية. سأشتري بالتأكيد مرة أخرى!