
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
فرمت کتاب
ebook
زبان
german
تاریخ انتشار
2017
شابک
9783319681672
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران