خرید و دانلود نسخه کامل کتاب Proof, Language, and Interaction: Essays in Honour of Robin Milner

اثبات ، زبان و تعامل: مقالاتی در افتخار رابین میلر

Proof, Language, and Interaction: Essays in Honour of Robin Milner

نویسنده: Plotkin G., Stirling C.P., Tofte M. (eds.)

ناشر: MIT

سال انتشار: 2000

تعداد صفحات: 714

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت