دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
| عنوان فارسی | ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: هفدهمین کنفرانس بین المللی ، TACAS 2011 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه نظریه و عملکرد نرم افزار ، ETAPS 2011 ، Saarbrücken ، آلمان ، 26 مارس - 3 آوریل 2011. |
|---|---|
| عنوان اصلی | Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.) |
| ISBN | 9783642198342, 9783642198359 |
| سال نشر | 2011 |
| زبان | English |
| تعداد صفحات | 408 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 83,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد