خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: نهمین کنفرانس بین المللی ، FORMATS 2011 ، آلبورگ ، دانمارک ، 21-23 سپتامبر ، 2011. مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

نویسنده: Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

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

زبان: English

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

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