روش شناسی جبری و فناوری نرم افزار: هشتمین کنفرانس بین المللی، AMAST 2000 آیووا سیتی، آیووا، ایالات متحده آمریکا، 20-27 مه، 2000 مجموعه مقالات
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings
نویسنده: David L. Parnas, P. Eng (auth.), Teodor Rus (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2000
تعداد صفحات: 545 [555]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 7 مگابایت