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


دانلود کتاب

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