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

مدل سازی رسمی و تحلیل سیستم های زمان بندی شده: چهارمین کنفرانس بین المللی، FORMATS 2006، پاریس، فرانسه، 25-27 سپتامبر 2006، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 4202)

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science, 4202)

نویسنده: Eugene Asarin (editor), Patricia Bouyer (editor)

ناشر: Springer

سال انتشار: 2006

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

زبان: English

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

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