دانلود کتاب Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
by David Wagner (auth.)
|
عنوان فارسی: نرم افزار چک کردن مدل: تاریخ 12th کارگاه SPIN بین المللی، سان فرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 22-24 اوت، 2005. مجموعه مقالات |