دانلود کتاب 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. مجموعه مقالات |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟