خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

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

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

نویسنده: Sriram Sankaranarayanan, Enrico Vicario (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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