![25 years of model checking : history, achievements, perspectives](https://dl.bookem.ir/covers/ISBN13/9783540698500.jpg)
25 years of model checking : history, achievements, perspectives
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2008
نویسنده
Orna Grumberg; Helmut Veithشابک
9783540698500
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
9783540698500
دیدگاه کاربران