خرید و دانلود نسخه کامل کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol

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

Adapting Proofs-as-Programs : The Curry-Howard Protocol

نویسنده: Iman Poernomo, John N. Crossley, Martin Wirsing

ناشر: Springer

سال انتشار: 2005

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

زبان: English

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

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