خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings (Theoretical Computer Science and General Issues)

مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده: نوزدهمین کنفرانس بین‌المللی، FORMATS 2021، پاریس، فرانسه، 24 تا 26 اوت 2021، مجموعه مقالات (علوم کامپیوتر نظری و مسائل عمومی)

Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings (Theoretical Computer Science and General Issues)

نویسنده: Catalin Dima (editor), Mahsa Shirmohammadi (editor)

ناشر: Springer

سال انتشار: 2021

تعداد صفحات: 165

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 10 مگابایت