دانلود کتاب Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
by Stephan Merz
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: کنفرانس بین المللی 16 در روش های مهندسی رسمی، ICFEM 2014، لوکزامبورگ، لوکزامبورگ، 03-05 نوامبر، 2014. مجموعه مقالات |