دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
by Gilles Barthe (auth.)
|
عنوان فارسی: انواع برای اثبات و برنامه ها: کارگاه آموزشی بین المللی با انواع 95 تورینو ایتالیا ژوئن 5-8 سال 1995 انتخاب مقالات |
دانلود کتاب
جزییات کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/3b/Two_women_operating_ENIAC.gif/50px-Two_women_operating_ENIAC.gif)