دانلود کتاب Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
by Michael Butler
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: کنفرانس بین المللی 17 در روش های مهندسی رسمی، ICFEM 2015، پاریس، فرانسه، نوامبر 3-5، 2015، مجموعه مقالات |