دانلود کتاب Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

ماشین حساب و برنامه های لامبدا تایپ شده: کنفرانس بین المللی ماشین حساب و برنامه های لامبدا تایپ شده TLCA ’93 مارس ، 16 تا 18 ، 1993 ، اوترخت ، مجموعه مقالات هلند

زبان : English

نویسندگان : Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1993

ISBN (شابک) : 3540565175, 9783540565178

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 664

تعداد صفحات : 443[441]

حجم : 4 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان