Modal And Temporal Properties Of Processes

٢٦٩٫٠٠ ر.ق.‏
+ ١١٢٫٤٩ ر.ق.‏ الشحن

Modal And Temporal Properties Of Processes

البائع:
  • product image

٢٦٩٫٠٠ ر.ق.‏

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

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

طرق الدفع:

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

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

Modal And Temporal Properties Of Processes

Recently, Temporal And Modal Logic, Process Calculus, And Model Checking Have Become Essential Software Techniques For The Formal Verification Of Systems. With A Clarity Of Presentation And Its Many Illuminating Examples, This Book Makes This Technical Material Easy To Grasp. It Is Perfectly Suited For An Advanced Undergraduate Or Graduate Class In Formal Verification And Will Serve As A Valuable Resource To Practitioners Of Formal Methods In All Areas Of Computer Science And Software Programming.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Colin Stirling
  • عدد الصفحات: 204
  • تاريخ النشر: 2013-05-03
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557047256-1125315677
  • ISBN: 9781475735512
التوصيل

توصيل

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

  • STANDARD: ١١٢٫٤٩ ر.ق.‏ - التسليم بين الأربعاء 11 نوفمبر 2026 – الأربعاء 09 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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