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

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I


Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
109.99$
الكمية:
شحن مخفض
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
تاريخ النشر: 13/07/2017
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Rupak Majumdar
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 624
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319633862
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

تاريخ النشر: 13/07/2017
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Rupak Majumdar
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 624
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319633862
109.99$
الكمية:
شحن مخفض
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

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

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