ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduction to generalized type systems

دانلود کتاب مقدمه ای بر سیستم های نوع تعمیم یافته

Introduction to generalized type systems

مشخصات کتاب

Introduction to generalized type systems

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 30 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 942 کیلوبایت

قیمت کتاب (تومان) : 35,000



کلمات کلیدی مربوط به کتاب مقدمه ای بر سیستم های نوع تعمیم یافته: کتابخانه، ادبیات کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Introduction to generalized type systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر سیستم های نوع تعمیم یافته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مقدمه ای بر سیستم های نوع تعمیم یافته

مقاله توسط Henk Barendregt، منتشر شده در مجله برنامه‌نویسی تابعی 1(2)، آوریل 1991.
محتوا:
< / div>مقدمه.
ساختار ظریف نظریه سازه ها.
سیستم های نوع تعمیم یافته.
گزاره ها-به عنوان-انواع.
تشکرات.
مراجع.

توضیحاتی درمورد کتاب به خارجی

Статья Хенка Барендрегта, опубликованная в Journal of Functional Programming 1(2), April 1991.
Содержание:
Introduction.
A finestructure of the theory of constructions.
Generalized type systems.
Propositions-as-types.
Acknowledgements.
References.




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی