دانلود کتاب 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 مقالات |