Model Checking Software 23rd International Symposium Spin 2016 Co-located - Springer Nature B.V

٢٨٩٫٠٠ ر.ق.‏
+ ٩٥٫٩٩ ر.ق.‏ الشحن

Model Checking Software 23rd International Symposium Spin 2016 Co-located - Springer Nature B.V

البائع:
  • product image

٢٨٩٫٠٠ ر.ق.‏

في المخزون
+ ٩٥٫٩٩ ر.ق.‏ الشحن

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

طرق الدفع:

  • العلامة التجارية: Unbranded
تفاصيل المنتج

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

Model Checking Software 23rd International Symposium Spin 2016 Co-located - Springer Nature B.V

This Book Constitutes The Refereed Proceedings Of The 23rd International Symposium On Model Checking Software, Spin 2016, Held In Eindhoven, The Netherlands, In April 2016.the 16 Papers Presented, Consisting Of 11 Regular Papers, 1 Idea Paper, And 4 Tool Demonstrations, Were Carefully Reviewed And Selected From 27 Submissions. Topics Covered Include Model Checking Techniques, Model Checking Tools, Concurrent System Semantics, Equivalence Checking, Temporal Logics, Probabilistic Systems, Schedule And Strategy Synthesis Using Model Checking, And Verification Case Studies.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 264
  • تاريخ النشر: 2016-04-08
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469771754-983726678
  • ISBN: 9783319325811
التوصيل

توصيل

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

  • STANDARD: ٩٥٫٩٩ ر.ق.‏ - التسليم بين الخميس 10 سبتمبر 2026 – الأربعاء 16 سبتمبر 2026

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

الإرجاع

الإرجاع

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

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