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

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

Verified Functional Programming in Agda

نویسنده: Aaron Stump

ناشر: ACM / Morgan & Claypool

سال انتشار: 2016

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

زبان: English

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

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