دانلود کتاب Abstraction Refinement for Large Scale Model Checking
| عنوان فارسی | اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ |
|---|---|
| عنوان اصلی | Abstraction Refinement for Large Scale Model Checking |
| ویرایش | [1 ed.] |
| ناشر | Springer |
| نویسنده | Chao Wang, Gary D. Hachtel, Fabio Somenzi |
| ISBN | 0387341552, 9780387341552 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 185 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد