دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Lambda-calculus: types and models
دانلود کتاب حساب لامبدا: انواع و مدل ها
مشخصات کتاب
Lambda-calculus: types and models
ویرایش: version 29 Sep 2014
نویسندگان: Jean-Louis Krivine. translated by René Cori
سری: Ellis Horwood (1993) (mise à jour 3 novembre 2011)
ناشر:
سال نشر: 2014
تعداد صفحات: 206
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Lambda-calculus: types and models به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب حساب لامبدا: انواع و مدل ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
