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

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings


Computer-Aided Verification : 2nd Internatonal Conference, CAV
109.00$
الكمية:
شحن مخفض
Computer-Aided Verification : 2nd Internatonal Conference, CAV
تاريخ النشر: 02/10/1991
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Edmund M Clarke
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 392
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783540544777
Computer-Aided Verification : 2nd Internatonal Conference, CAV
Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

تاريخ النشر: 02/10/1991
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Edmund M Clarke
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 392
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783540544777
109.00$
الكمية:
شحن مخفض
Computer-Aided Verification : 2nd Internatonal Conference, CAV

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

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