Interactive Theorem Proving 8th International Conference Itp 2017 Brasilia Brazil | Desertcart EGYPT
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+ مراجعات
عمران ف.
متجر موثوق للغاية ومنتجات أصلية. سأشتري بالتأكيد مرة أخرى!