مبانی نرم افزار رایانه ای. مدلسازی ، توسعه و تأیید سیستم های انطباقی: شانزدهمین کارگاه مونتری 2010 ، ردموند ، WA ، ایالات متحده آمریکا ، 31 مارس - 2 آوریل 2010 ، مقالات منتخب تجدید نظر شده
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
نویسنده: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2011
تعداد صفحات: 248
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت