دانلود کتاب Specification and proof in real-time CSP
| عنوان فارسی | مشخصات و اثبات در CSP در زمان واقعی |
|---|---|
| عنوان اصلی | Specification and proof in real-time CSP |
| ناشر | Cambridge University Press |
| نویسنده | Jim Davies |
| ISBN | 0521450551, 9780521450553 |
| سال نشر | 1993 |
| زبان | English |
| تعداد صفحات | 199 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد
توضیحات
فهرست مطالب
اطلاعات قبل از خربد