لقد تمت الاضافة بنجاح
تعديل العربة إتمام عملية الشراء
×
كتب ورقية
كتب الكترونية
كتب صوتية
English Books
أطفال وناشئة
وسائل تعليمية
متجر الهدايا
شحن مجاني
اشتراكات
بحث متقدم
نيل وفرات
حسابك لائحة الأمنيات عربة التسوق نشرة الإصدارات
0

Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings


Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
84.99$
الكمية:
شحن مخفض
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
تاريخ النشر: 19/07/2013
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة، تحقيق: Sandrine Blazy
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 512
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783642396335
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

تاريخ النشر: 19/07/2013
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة، تحقيق: Sandrine Blazy
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 512
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783642396335
84.99$
الكمية:
شحن مخفض
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

  • الزبائن الذين اشتروا هذا البند اشتروا أيضاً
  • الزبائن الذين شاهدوا هذا البند شاهدوا أيضاً

أبرز التعليقات
أكتب تعليقاتك وشارك أراءك مع الأخرين.