دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems. 25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings
| عنوان فارسی | ابزارها و الگوریتم های ساخت و تحلیل سیستم ها. بیست و پنجمین کنفرانس بین المللی، TACAS 2019 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2019 پراگ، جمهوری چک، 6 تا 11 آوریل 2019 مجموعه مقالات برگزار شد. |
|---|---|
| عنوان اصلی | Tools and Algorithms for the Construction and Analysis of Systems. 25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings |
| ناشر | Springer |
| نویسنده | Tomáš Vojnar, Lijun Zhang |
| ISBN | 9783030174613, 9783030174620 |
| سال نشر | 2019 |
| زبان | English |
| تعداد صفحات | 447 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 23 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد