Interactive Theorem Proving 8th International Conference Itp 2017 Brasilia Brazil | Desertcart KUWAIT
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Theoretical Computer Science and General Issues)
معرّف المنتج: 578254275
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Theoretical Computer Science and General Issues)
الأسئلة الشائعة
ترست بايلوت
الثقة 4.5 | 7300+ مراجعات
ميرا ل.
معاملة سلسة ووصل المنتج في حالة مثالية.
منذ 3 أسابيع
سوریش ك.
مندهش جدًا من الجودة وسرعة التوصيل. سأقوم بالتسوق هنا مرة أخرى.