خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

مدل سازی رسمی و تجزیه و تحلیل سیستم های زمان بندی شده: 12th International Conference، FORMATS 2014، فلورانس، ایتالیا، 8 تا 10 سپتامبر 2014. مقالات

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

نویسنده: Axel Legay, Marius Bozga (eds.)

ناشر: Springer International Publishing

سال انتشار: 2014

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

زبان: English

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

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