رقم الصنف 9783642323461مرجع النشر 9783642323461
Interactive Theorem Proving : Third International Conference
ITP 2012PrincetonNJUSAAugust 13-152012. Proceedings
410ر.س.
شامل ضريبة القيمة المضافة
رقم الصنف 9783642323461مرجع النشر 9783642323461
المؤلف:Beringer, Lennart
تاريخ النشر: 2012
تصنيف الكتاب:التقنية والكمبيوتر,الكتب الانجليزية,
عدد الصفحات:432 Pages
الصيغة:غلاف ورقي