دانلود کتاب Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
by Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: کنفرانس بین المللی 10 در روش های مهندسی رسمی، ICFEM 2008، کیتکیوشو شهر، ژاپن، اکتبر 27-31، 2008. مجموعه مقالات |