خرید و دانلود نسخه کامل کتاب Certified programming with dependent types

برنامه نویسی خبره با انواع وابسته

Certified programming with dependent types

نویسنده: Chlipala A

ناشر: web draft, 2016

سال انتشار: 2016

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

زبان: English

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

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