مكتبة جرير

Interactive Theorem Proving : Third International Conference

ITP 2012PrincetonNJUSAAugust 13-152012. Proceedings

كتاب مطبوع
410ر.س.
شامل ضريبة القيمة المضافة
وحدة البيع: EACH
24ر.س.شهرياً/24 شهر
المؤلف:Beringer, Lennart
تاريخ النشر: 2012
تصنيف الكتاب:التقنية والكمبيوتر,الكتب الانجليزية,
عدد الصفحات:432 Pages
الصيغة:غلاف ورقي
هذا الكتاب يُطبع عند الطلب وغير قابل للاسترجاع بعد الشراء

الصيغ المتوفرة:

كتاب مطبوع

سيتم إرسال الطلب الى عنوانك

410ر.س.
شامل الضريبة
أو

المواصفات

رقم الصنف9783642323461
رقم المصنع9783642323461
تاريخ النشر2012
عرض أكثر

أبلغ عن مشكلة مع هذا المنتج

مراجعات العملاء