دانلود کتاب Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
by Carroll C. Morgan (auth.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: کنفرانس بین المللی 15 در روش مهندسی رسمی، ICFEM 2013، کوئینز، نیوزیلند، 29 اکتبر-نوامبر 1 2013، مجموعه مقالات |