دانلود کتاب Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings (Theoretical Computer Science and General Issues)
| عنوان فارسی | مدلسازی و تحلیل رسمی سیستمهای زمانبندی شده: نوزدهمین کنفرانس بینالمللی، FORMATS 2021، پاریس، فرانسه، 24 تا 26 اوت 2021، مجموعه مقالات (علوم کامپیوتر نظری و مسائل عمومی) |
|---|---|
| عنوان اصلی | Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings (Theoretical Computer Science and General Issues) |
| ناشر | Springer |
| نویسنده | Catalin Dima (editor), Mahsa Shirmohammadi (editor) |
| ISBN | 3030850366, 9783030850364 |
| سال نشر | 2021 |
| زبان | English |
| تعداد صفحات | 165 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 10 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 82,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد