دانلود کتاب Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
by Patrice Godefroid (auth.)
|
عنوان فارسی: نرم افزار چک کردن مدل: 16 کارگاه آموزشی SPIN بین المللی، گرنوبل فرانسه، 26-28 ژوئن، 2009. مجموعه مقالات |