دانلود کتاب Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
by Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.)
|
عنوان فارسی: روشهای رسمی و مهندسی نرم افزار: هفدهمین کنفرانس بین المللی روشهای مهندسی رسمی، ICFEM 2016، توکیو، ژاپن، 14-18 نوامبر 2016، پرونده ها |