
Model checking software 19th international workshop ; proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2012
نویسنده
Alastair Donaldson; Davidشابک
978-3-642-31758-3
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران