دانلود کتاب A really temporal logic
| عنوان فارسی | یک منطق واقعا منطقی |
|---|---|
| عنوان اصلی | A really temporal logic |
| ویرایش | Lecture notes |
| ناشر | Dept. of Computer Science Stanford University |
| نویسنده | Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department |
| ISBN | |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 433 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد