دانلود کتاب Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings
by Ralph-Johan Back (auth.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: 4 کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2002 شانگهای، چین، اکتبر 21-25، 2002 مقالات |