خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

مدل سازی رسمی و تجزیه و تحلیل سیستم های بهنگام: هفتمین کنفرانس بین المللی ، FORMATS 2009 ، بوداپست ، مجارستان ، 14-16 سپتامبر 2009. مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

نویسنده: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

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

زبان: English

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

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