دانلود کتاب Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
by Theo C. Ruys (auth.)|
|
عنوان فارسی: نرم افزار چک کردن مدل : 10 SPIN بین المللی کارگاه پورتلند، OR ، ایالات متحده، 09-10 مه ، 2003 مقالات |


دانلود کتاب

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