Model Checking Software 22nd International Symposium Spin 2015 Stellenbosc - Springer Nature B.V

٢٨٫٩٥٠ د.ب.‏
+ ٩٫٩٩٠ د.ب.‏ الشحن
  • product image

Model Checking Software 22nd International Symposium Spin 2015 Stellenbosc - Springer Nature B.V

  • العلامة التجارية: Unbranded
البائع:

Model Checking Software 22nd International Symposium Spin 2015 Stellenbosc - Springer Nature B.V

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

٢٨٫٩٥٠ د.ب.‏

في المخزون
+ ٩٫٩٩٠ د.ب.‏ الشحن

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

البائع:

٢٨٫٩٥٠ د.ب.‏

في المخزون
+ ٩٫٩٩٠ د.ب.‏ الشحن

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

طرق الدفع:

الوصف

Model Checking Software 22nd International Symposium Spin 2015 Stellenbosc - Springer Nature B.V

This Book Constitutes The Refereed Proceedings Of The 22nd International Symposium On Model Checking Software, Spin 2015, Held In Stellenbosch, South Africa, In August 2015. The 18 Papers Presented - 14 Regular Papers And 4 Tool Or New Idea Papers - Were Carefully Reviewed And Selected From 27 Submissions. They Cover The Field Between Theoretical Advances And Practical Considerations And Are Organized In Topical Sections Such As Abstraction, Refinement, Translation; Bchi Automata And Hashing; Embedded Systems; Heuristics And Benchmarks; Satsmt- Based Approaches; Software Validation And Verification.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 340
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469772352-983727274
  • ISBN: 9783319234038

توصيل

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

  • STANDARD: ٩٫٩٩٠ د.ب.‏ - التسليم بين الاثنين 27 يوليو 2026 – الجمعة 31 يوليو 2026

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

الإرجاع

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

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