Interactive Theorem Proving Third International Conference Itp 2012 Princeton Nj | Desertcart OMAN
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+ مراجعات
سوریش ك.
مندهش جدًا من الجودة وسرعة التوصيل. سأقوم بالتسوق هنا مرة أخرى.
منذ 4 أيام
يوسف أ.
تجربة رائعة بشكل عام. سأوصي بها للأصدقاء والعائلة.
