خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

اثبات قضیه تعاملی و توسعه برنامه: Coq'Art: حساب ساختارهای استقرایی

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

نویسنده: Yves Bertot, Pierre Castéran

ناشر: Springer

سال انتشار: 2004

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

زبان: English

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

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