خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: سومین کنفرانس بین المللی ، FORMATS 2005 ، Uppsala ، سوئد ، 26-28 سپتامبر ، 2005. مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

نویسنده: Lothar Thiele (auth.), Paul Pettersson, Wang Yi (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

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

زبان: English

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

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