دانلود کتاب Specification and Verification of Concurrent Systems
| عنوان فارسی | مشخصات و تایید سیستم های همزمان |
|---|---|
| عنوان اصلی | Specification and Verification of Concurrent Systems |
| ویرایش | 1 |
| ناشر | Springer-Verlag London |
| نویسنده | Pierre America (auth.), C. Rattray MSc (eds.) |
| ISBN | 9783540195818, 9781447135340 |
| سال نشر | 1990 |
| زبان | English |
| تعداد صفحات | 620 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 19 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد
توضیحات
فهرست مطالب
اطلاعات قبل از خربد