دانلود کتاب Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
by Kokichi Futatsugi (auth.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: کنفرانس بین المللی در تاریخ 12th روش مهندسی رسمی، ICFEM 2010، شانگهای، چین، 17-19 نوامبر، 2010. مجموعه مقالات |