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

مدل سازی رسمی و تجزیه و تحلیل سیستم های زمانبندی: هشتمین کنفرانس بین المللی، FORMATS 2010، Klosterneuburg، Austria، 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

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

زبان: English

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

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