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

مدل سازی و تجزیه و تحلیل رسمی سیستم های به موقع: هشتمین کنفرانس بین المللی ، FORMATS 2010 ، کلوزترنبورگ ، اتریش ، 8-10 سپتامبر ، 2010. مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

نویسنده: Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

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

زبان: English

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

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