دسته: منطق
دانلود کتاب حساب پارامتریک لامبدا: متامدلی برای محاسبات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
نام کتاب : The Parametric Lambda Calculus: A Metamodel for Computation
عنوان ترجمه شده به فارسی : حساب پارامتریک لامبدا: متامدلی برای محاسبات
سری : Texts in Theoretical Computer Science. An EATCS Series
نویسندگان : Simona Ronchi Della Rocca, Luca Paolini
ناشر : Springer
سال نشر : 2004
تعداد صفحات : 253
ISBN (شابک) : 9783642057465 , 9783662103944
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.