دانلود کتاب Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
| عنوان فارسی | نرم افزار چک کردن مدل: بیست و سومین سمپوزیوم بین المللی ، SPIN 2016 ، همزمان با ETAPS 2016 ، آیندهوون ، هلند ، 7-8 آوریل 2016 ، مجموعه مقالات |
|---|---|
| عنوان اصلی | Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings |
| ویرایش | 1 |
| ناشر | Springer International Publishing |
| نویسنده | Dragan Bošnački, Anton Wijs (eds.) |
| ISBN | 9783319325811, 9783319325828 |
| سال نشر | 2016 |
| زبان | English |
| تعداد صفحات | 260 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 11 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد