دانلود کتاب Proof, Language, and Interaction: Essays in Honour of Robin Milner
دسته: منطق
کتاب اثبات، زبان و تعامل: مقالاتی به افتخار رابین میلنر نسخه زبان اصلی
دانلود کتاب اثبات، زبان و تعامل: مقالاتی به افتخار رابین میلنر بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Proof, Language, and Interaction: Essays in Honour of Robin Milner
نام کتاب : Proof, Language, and Interaction: Essays in Honour of Robin Milner
عنوان ترجمه شده به فارسی : اثبات، زبان و تعامل: مقالاتی به افتخار رابین میلنر
سری : Foundations of Computing
نویسندگان : Gordon Plotkin, Colin P. Stirling, Mads Tofte
ناشر : The MIT Press
سال نشر : 2000
تعداد صفحات : 715
ISBN (شابک) : 0262161885 , 9780262161886
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی