خرید و دانلود نسخه کامل کتاب Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

روشهای رسمی و مهندسی نرم افزار: 12مین کنفرانس بین المللی روشهای مهندسی رسمی، ICFEM 2010، شانگهای، چین، 17 تا 19 نوامبر 2010. پرونده ها

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

نویسنده: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

تعداد صفحات: 722

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 9 مگابایت