خرید و دانلود نسخه کامل کتاب Chiron: mechanising mathematics in OCAML

Chiron: مکانیزه سازی ریاضیات در OCAML

Chiron: mechanising mathematics in OCAML

نویسنده: Ni H.

ناشر: MacMaster U.

سال انتشار: 2009

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

زبان: English

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

حجم فایل: 774 کیلوبایت