Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

٨٤٫٠٠٠ د.ب.‏
+ ١٢٫٩٩٠ د.ب.‏ الشحن

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • العلامة التجارية: Unbranded
  • product image

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • العلامة التجارية: Unbranded
السعر: ٨٤٫٠٠٠ د.ب.‏
البائع:
٨٤٫٠٠٠ د.ب.‏
+ ١٢٫٩٩٠ د.ب.‏ الشحن

متوفر حالياً

لا نعرف متى سيتوفر هذا الغرض في المخزون أو إن كان سيتوفر.

نقبل وسائل الدفع الآتية

الوصف

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

Please note that we cannot guarantee delivery by Christmas. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification CAV 2008 held in Princeton NJ USA in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback softback
  • اللغة: English
  • المؤلف: Edited by Aarti Gupta & Edited by Sharad Malik
  • عدد الصفحات: 558
  • تاريخ النشر: 2008-06-17
  • الناشر/ العنوان: SpringerVerlag Berlin and Heidelberg GmbH & Co. KG
  • هوية Fruugo: 59094871-119716756
  • ISBN: 9783540705437

التسليم والرد

يُرسل خلال ؜-١ أيام

  • STANDARD: ١٢٫٩٩٠ د.ب.‏ - التسليم بين الخميس 11 ديسمبر 2025 – الأربعاء 17 ديسمبر 2025

يُشحن من المملكة المتحدة.

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل. عرض سياسة الرد الكاملة