خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

مدل سازی و تحلیل رسمی سیستم های بهنگام: چهارمین کنفرانس بین المللی ، FORMATS 2006 ، پاریس ، فرانسه ، 25 تا 27 سپتامبر 2006. مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

نویسنده: Thomas A. Henzinger, Vinayak S. Prabhu (auth.), Eugene Asarin, Patricia Bouyer (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2006

تعداد صفحات: 372 [377]

زبان: English

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

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