دانلود کتاب FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
| عنوان فارسی | FM 2006: روش های رسمی: چهاردهمین سمپوزیوم بین المللی روش های رسمی، همیلتون، کانادا، 21-27 اوت 2006. مجموعه مقالات |
|---|---|
| عنوان اصلی | FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.) |
| ISBN | 3540372156, 9783540372158 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 620 [633] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد