• التعليم وحلول الأعمال يفتح في نافذة جديدة
صورة الغلاف: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems 9783031684159

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings

  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 2024
  • ISBN-13 9783031684159
  • شكل تنسيق قابل للتنسيق التلقائي

الكتاب الالكتروني

ترخيص eTextbook
‌
﷼‎220.00 SAR
‌
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

VitalSource أكثر من 25 عامًا من التحول الرقمي

  • 4500 المعاهد

  • أكثر من 230 البلدان والأقاليم

  • أكثر من 10 آلاف الناشرون

  • أكثر من 18 مليون المستخدمون النشطون

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems هي 9783031684166, 3031684168 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031684159, 303168415X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى