دانلود کتاب Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
by Wolfgang Grieskamp (auth.)
|
عنوان فارسی: روش های صوری به نرم افزار تست و در زمان اجرا امنیتی: نخست ترکیبی بین المللی کارگاه های آموزشی، سرنوشت سال های 2006 و 2006 RV، سیاتل، WA، ایالات متحده آمریکا، 15-16 اوت، 2006، تجدید نظر مقالات انتخاب شده |