-
Eduardo Giménez

دانلود کتاب Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
by Eduardo Giménez|
|
عنوان فارسی: انواع برای اثبات و برنامه ها: کارگاه آموزشی بین المللی " انواع 96 Aussois فرانسه دسامبر 15-19 سال 1996 انتخاب مقالات |

دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟