NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
Alwyn E Goodloeنویسنده
Alwyn E Goodloeشابک
9783642288913
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران