خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings

مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: پانزدهمین کنفرانس بین المللی، FORMATS 2017، برلین، آلمان، 5-7 سپتامبر 2017: مجموعه مقالات

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings

نویسنده: Abate, Alessandro; Geeraerts, Gilles

ناشر: Springer International Publishing : Imprint: Springer, Lecture Notes in Computer Science, Lecture Notes in Computer Science 10419; LNCS Sublibrary: SL1 - Theoretical Computer Science and General Issues, 1, 2017

سال انتشار: 2017

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

زبان: English

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

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