خرید و دانلود نسخه کامل کتاب Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

جنبه های نظری نرم افزار کامپیوتر: چهارمین سمپوزیوم بین المللی، TACS 2001 سندای، ژاپن، 29 تا 31 اکتبر، 2001 مجموعه مقالات

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

نویسنده: Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2001

تعداد صفحات: 565 [572]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت