دانلود کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
by J. -R. Abrial (auth.)
|
عنوان فارسی: روش های رسمی و مهندسی نرم افزار: 9 کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2007، بوکا راتون، FL، ایالات متحده آمریکا، 14-15 نوامبر 2007. مجموعه مقالات |