دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
| عنوان فارسی | ابزارها و الگوریتم های ساخت و تحلیل سیستم ها. بیست و هشتمین کنفرانس بین المللی، TACAS 2022 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2022 مونیخ، آلمان، 2 تا 7 آوریل 2022 مجموعه مقالات برگزار شد. |
|---|---|
| عنوان اصلی | Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings |
| ویرایش | [Part I] |
| ناشر | Springer |
| نویسنده | Dana Fisman, Grigore Rosu |
| ISBN | 9783030995232, 9783030995249 |
| سال نشر | 2022 |
| زبان | English |
| تعداد صفحات | [591] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 20 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی