دانلود کتاب Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)
| عنوان فارسی | نرم افزار بررسی مدل: هشتمین کارگاه بین المللی SPIN، تورنتو، کانادا، 19-20 می 2001: مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر) |
|---|---|
| عنوان اصلی | Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science) |
| ناشر | Springer |
| نویسنده | Matthew Dwyer (editor) |
| ISBN | 3540421246, 9783540421245 |
| سال نشر | 2001 |
| زبان | English |
| تعداد صفحات | 322 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد