Model checking software 20th international symposium ; proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2013
نویسنده
Ezio Bartocci; C R Ramakrishnanشابک
978-3-642-39175-0
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران