خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

مدلسازی و تحلیل رسمی سیستم های زمان بندی شده: شانزدهمین کنفرانس بین المللی، FORMATS 2018، پکن، چین، 4 تا 6 سپتامبر 2018، مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

نویسنده: David N. Jansen, Pavithra Prabhakar

ناشر: Springer International Publishing

سال انتشار: 2018

تعداد صفحات: X, 289 [290]

زبان: English

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

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