Interactive Theorem Proving Third International Conference Itp 2012 Princeton Nj | Desertcart EGYPT
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings: 7406 (Lecture Notes in Computer Science)
معرّف المنتج: 112458992
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
الأسئلة الشائعة
ترست بايلوت
الثقة 4.5 | 7300+ مراجعات
فاطمة أ.
أفضل شحن دولي جربته على الإطلاق. يستحق كل قرش!
منذ 3 أيام
راجش ب.
خدمة العملاء كانت رائعة عندما كان لدي استفسارات حول المنتج.
