![Model Checking Software](https://dl.bookem.ir/covers/ISBN13/9783642317583.jpg)
Model Checking Software
19th International Spin Workshop, Oxford, UK, July 23-24, 2012. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
David Parkerنویسنده
David Parkerناشر
Springerناشر
Springerشابک
9783642317583
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران