دانلود کتاب 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 II] |
| ناشر | Springer |
| نویسنده | Jan Friso Groote, Kim Guldstrand Larsen |
| ISBN | 9783030720124, 9783030720131 |
| سال نشر | 2021 |
| زبان | English |
| تعداد صفحات | [476] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 13 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد