دانلود کتاب Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
by Manfred Broy (auth.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: 11th کنفرانس بین المللی رسمی روش مهندسی ICFEM 2009، ریو دو ژانیرو، برزیل، 09-12 دسامبر، 2009. مجموعه مقالات |