روش شناسی جبری و فناوری نرم افزار: چهارمین کنفرانس بین المللی، AMAST '95 مونترال، کانادا، 3 تا 7 ژوئیه، 1995 مجموعه مقالات
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
نویسنده: David Gries (auth.), V. S. Alagar, Maurice Nivat (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1995
تعداد صفحات: 597 [604]
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت