دانلود کتاب 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. مجموعه مقالات |


دانلود کتاب

درباره نویسنده
این کتاب رو مطالعه کردید؟ نظر شما چیست؟