دانلود کتاب Verification of Reactive Systems: Formal Methods and Algorithms
| عنوان فارسی | تایید سیستم های واکنش پذیر: روش های رسمی و الگوریتم |
|---|---|
| عنوان اصلی | Verification of Reactive Systems: Formal Methods and Algorithms |
| ناشر | Springer |
| نویسنده | Klaus Schneider |
| ISBN | 9783642055553, 9783662107782 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 607 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 20 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد