روش جبری و فناوری نرم افزار: دوازدهمین کنفرانس بین المللی ، AMAST 2008 Urbana ، IL ، ایالات متحده ، 28-31 ژوئیه ، 2008 ، مجموعه مقالات (یادداشت های سخنرانی ... / برنامه نویسی و مهندسی نرم افزار)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
نویسنده: José Meseguer, Grigore Rosu
ناشر: Springer
سال انتشار: 2008
تعداد صفحات: 441
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت