دانلود کتاب Fundamental Proof Methods in Computer Science: A Computer-Based Approach
| عنوان فارسی | روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه |
|---|---|
| عنوان اصلی | Fundamental Proof Methods in Computer Science: A Computer-Based Approach |
| ناشر | MIT Press |
| نویسنده | Konstantine Arkoudas |
| ISBN | |
| سال نشر | 2017 |
| زبان | English |
| تعداد صفحات | 1223 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد