دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
| عنوان فارسی | ابزارها و الگوریتمها برای ساخت و تجزیه و تحلیل سیستمها: بیست و دومین کنفرانس بینالمللی، TACAS 2016، به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2016، آیندهوون، هلند، 2-8 آوریل 2016، مجموعه مقالات برگزار شد. |
|---|---|
| عنوان اصلی | Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Marsha Chechik, Jean-François Raskin (eds.) |
| ISBN | 9783662496732, 9783662496749 |
| سال نشر | 2016 |
| زبان | English |
| تعداد صفحات | XIX, 961 [958] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 31 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد