دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
| عنوان فارسی | ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: پانزدهمین کنفرانس بین المللی ، TACAS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس ، 2009. مجموعه مقالات |
|---|---|
| عنوان اصلی | Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.) |
| ISBN | 9783642007675, 9783642007682 |
| سال نشر | 2009 |
| زبان | English |
| تعداد صفحات | 470 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد