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 (Theoretical Computer Science and General Issues)
معرّف المنتج: 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+ مراجعات
فاطمة أ.
أفضل شحن دولي جربته على الإطلاق. يستحق كل قرش!
منذ 3 أيام
راجش ب.
خدمة العملاء كانت رائعة عندما كان لدي استفسارات حول المنتج.