خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

نویسنده: Martin Fränzle, Nicolas Markey (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

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

زبان: English

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

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