دانلود کتاب Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
by René Ahn (auth.)|
|
عنوان فارسی: انواع برای اثبات و برنامه ها: کارگاه آموزشی بین المللی " انواع 94 Båstad, سوئد, ژوئن 6-10, 1994 انتخاب مقالات |


دانلود کتاب

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