دانلود کتاب Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
by Zhou Chaochen (auth.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: 8 کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2006، ماکائو، چین، 01-03 نوامبر، 2006. مجموعه مقالات |