نقدها
هنوز نظری ثبت نشده است
اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک میگذارید
برای بررسی وارد شوید
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
هنوز رتبهبندی نشده است
Jun 19, 2009
·
انگلیسی
·
جلد نرم
(331 صفحات)