جنبه های نظری نرم افزار کامپیوتر: سومین سمپوزیوم بین المللی، TACS'97 Sendai، ژاپن، 23-26 سپتامبر 1997 مجموعه مقالات
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
نویسنده: Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1997
تعداد صفحات: 648 [651]
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 7 مگابایت