دانلود کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
by Alessandro Cimatti (auth.)|
|
عنوان فارسی: مدل چک کردن نرم افزار: 17 کارگاه آموزشی SPIN بین المللی، انسخده، هلند، 27-29 سپتامبر، 2010. مجموعه مقالات |


دانلود کتاب

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