دانلود کتاب Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
by Edmund M. Clarke (auth.)
|
عنوان فارسی: مدل چک کردن نرم افزار: SPIN بین المللی 9 کارگاه گرنوبل فرانسه، آوریل 11-13، 2002 مقالات |