خرید و دانلود نسخه کامل کتاب Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean

استدلال در مورد برنامه های کاربردی - Sparkle: Proof Assistant برای Clean

Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean

نویسنده: Maarten de Mol

ناشر: IPA

سال انتشار: 2009

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

زبان: english

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

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