دانلود کتاب Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
by Anthony Hall (auth.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: 7 کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2005، منچستر، بریتانیا، نوامبر 1-4، 2005. مجموعه مقالات |