
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
فرمت کتاب
ebook
زبان
german
تاریخ انتشار
2016
شابک
9783319406480
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران