دانلود کتاب 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) |
| ناشر | Springer |
| نویسنده | Eugene Asarin (editor), Patricia Bouyer (editor) |
| ISBN | 3540450262, 9783540450269 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 378 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد