دانلود کتاب Principles of Model Checking (Instructor Solution Manual, Solutions)
| عنوان فارسی | اصول بررسی مدل (راهنمای راه حل مربی، راه حل ها) |
|---|---|
| عنوان اصلی | Principles of Model Checking (Instructor Solution Manual, Solutions) |
| ویرایش | 1 |
| ناشر | The MIT Press |
| نویسنده | Christel Baier, Joost-Pieter Katoen |
| ISBN | 026202649X, 9780262026499 |
| سال نشر | 2008 |
| زبان | English |
| تعداد صفحات | 106 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 1,005 کیلوبایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد
توضیحات
فهرست مطالب
اطلاعات قبل از خربد