NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2018
شابک
9783319779355
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران