دانلود کتاب Computation and Reasoning: A Type Theory for Computer Science
محاسبه و استدلال: نظریه نوعی برای علوم کامپیوتر
زبان : English
نویسندگان : Zhaohui Luo
ناشر : Oxford University Press, USA
سال انتشار : 1994
ISBN (شابک) : 9780198538356, 0198538359
ویرایش : [1 ed.]
سری : International Series of Monographs on Computer Science 11
تعداد صفحات : 240
حجم : 10 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان