صورة الغلاف: Formal Modeling and Analysis of Timed Systems 9783031158384

Formal Modeling and Analysis of Timed Systems

20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

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

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

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

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Modeling and Analysis of Timed Systems هي 9783031158391, 3031158393 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031158384, 3031158385. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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