خرید و دانلود نسخه کامل کتاب Verified functional programming in Agda

برنامه نویسی کاربردی تایید شده در Agda

Verified functional programming in Agda

نویسنده: Association for Computing Machinery.; Stump, Aaron

ناشر: Association for Computing Machinery

سال انتشار: 2016

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

زبان: English

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

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