دانلود کتاب Certified programming with dependent types
| عنوان فارسی | برنامه نویسی خبره با انواع وابسته |
|---|---|
| عنوان اصلی | Certified programming with dependent types |
| ویرایش | web draft |
| ناشر | |
| نویسنده | Chlipala A |
| ISBN | |
| سال نشر | 2016 |
| زبان | English |
| تعداد صفحات | 369 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد