
Verification, model checking, and abstract interpretation 12th international conference ; proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2011
نویسنده
Ranjit Jhala; David Schmidtشابک
978-3-642-18274-7
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران