دانلود کتاب Lambda Calculus with Types
کتاب حساب لامبدا با انواع نسخه زبان اصلی
دانلود کتاب حساب لامبدا با انواع بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Lambda Calculus with Types
نام کتاب : Lambda Calculus with Types
عنوان ترجمه شده به فارسی : حساب لامبدا با انواع
سری : Perspectives in Logic
نویسندگان : Henk Barendregt, Wil Dekkers, Richard Statman
ناشر : Cambridge University Press
سال نشر : 2013
تعداد صفحات : 855
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی