دانلود کتاب Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
by Dennis Dams (auth.)
|
عنوان فارسی: نرم افزار چک کردن مدل: 14 کارگاه آموزشی SPIN بین المللی، برلین، آلمان، 01-03 ژوئیه، 2007. مجموعه مقالات |