
Model Checking Software
19th International Spin Workshop, Oxford, UK, July 23-24, 2012. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
David Parkerنویسنده
David Parkerناشر
Springerناشر
Springerشابک
9783642317583
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران