Temporal Logic And State Systems

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

Temporal Logic And State Systems

البائع:
  • product image

٣٦٫٩٥٠ د.ب.‏

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

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

طرق الدفع:

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

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

Temporal Logic And State Systems

Basic Concepts And Notions Of Logics.- Basic Propositional Linear Temporal Logic.- Extensions Of Ltl.- Expressiveness Of Propositional Linear Temporal Logics.- First-order Linear Temporal Logic.- State Systems.- Verification Of State Systems.- Verification Of Concurrent Programs.- Structured Specification.- Other Temporal Logics.- System Verification By Model Checking.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Fred Krger
  • عدد الصفحات: 448
  • تاريخ النشر: 2010-11-25
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557249206-1125519046
  • ISBN: 9783642086809
التوصيل

توصيل

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

  • STANDARD: ١٢٫٤٩٠ د.ب.‏ - التسليم بين الاثنين 09 نوفمبر 2026 – الاثنين 07 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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