دانلود کتاب Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions 2004
کتاب انگلیسی 2004
گزارشفروشندهها
ضمانت ترب
★۵ (۲ سال در ترب)
گزارشدانلود کتاب Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions 2004 ا کتاب انگلیسی 2004
آیا امکان پرداخت در محل در شهر من وجود دارد؟
لیست تغییرات قیمت
مشخصات محصول
مشخصات ثبت نشده است.