دانلود کتاب FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
| عنوان فارسی | FM 2006: روشهای رسمی: چهاردهمین سمپوزیوم بین المللی در مورد روشهای رسمی ، همیلتون ، کانادا ، 21-27 اوت 2006 ، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر ، 4085) |
|---|---|
| عنوان اصلی | FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085) |
| ناشر | Springer |
| نویسنده | Jayadev Misra (editor), Tobias Nipkow (editor), Emil Sekerinski (editor) |
| ISBN | 3540958908, 3540372156 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 634 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد