دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
| عنوان فارسی | ابزار و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: 12TH کنفرانس بین المللی TACAS 2006 برگزار شد به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2006، وین، اتریش، 25 مارس - 2 آوریل 2006. |
|---|---|
| عنوان اصلی | Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.) |
| ISBN | 3540330569, 9783540330561 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 512 [518] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد