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


دانلود کتاب

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