Verification Model Checking And Abstract Interpretation 4th International

٤٬٣٩٩٫٠٠ E£
+ ١٬٦٧٤٫٤٩ E£ الشحن

Verification Model Checking And Abstract Interpretation 4th International

البائع:
  • product image

٤٬٣٩٩٫٠٠ E£

في المخزون
+ ١٬٦٧٤٫٤٩ E£ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

تفاصيل المنتج

تفاصيل المنتج

Verification Model Checking And Abstract Interpretation 4th International

This Volume Contains The Proceedings Of The 4th International Conference On Veri?cation, Model Checking, And Abstract Interpretation (vmcai 2003), Held In York City, January 9-11, 2003. The Purpose Of Vmcai Was To Provide A Forum For Researchers From Three Communities-veri?cation, Model Checking, And Abstract Interpretation-that Will Facilitate Interaction, Cross-fertilization, And The Advance Of Hybrid Methods That Combine The Three Areas. With The G- Wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded Systems, Such Hybrid Methods Are Bound To Be Of Great Importance.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 344
  • تاريخ النشر: 2002-12-13
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557237141-1125506743
  • ISBN: 9783540003489
التوصيل

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ١٬٦٧٤٫٤٩ E£ - التسليم بين الاثنين 09 نوفمبر 2026 – الاثنين 07 ديسمبر 2026

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

الإرجاع

الإرجاع

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

عرض سياسة الرد الكاملة