دانلود کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
by Matthew B. Dwyer
|
عنوان فارسی: نرم افزار چک کردن مدل: 15 کارگاه آموزشی بین المللی SPIN، لس آنجلس، کالیفرنیا، ایالات متحده آمریکا، اوت 10-12، 2008 مقالات |