دانلود کتاب Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
by Lisa Allali (auth.)
|
عنوان فارسی: انواع برای اثبات و برنامه: کنفرانس بین المللی، انواع 2007، Cividale پردازنده فریولی، ایتالیا، 02-05 مه، 2007 تجدید نظر برگزیده مقالات |