دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
| عنوان فارسی | ابزارها و الگوریتمهای ساخت و تحلیل سیستمها. بیست و هفتمین کنفرانس بین المللی، TACAS 2021 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2021 شهر لوکزامبورگ، لوکزامبورگ، 27 مارس - 1 آوریل 2021 مجموعه مقالات برگزار شد. |
|---|---|
| عنوان اصلی | Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings |
| ویرایش | [Part I] |
| ناشر | Springer |
| نویسنده | Jan Friso Groote, Kim Guldstrand Larsen |
| ISBN | 9783030720155, 9783030720162 |
| سال نشر | 2021 |
| زبان | English |
| تعداد صفحات | [483] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی