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