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

روش ها و مهندسی نرم افزار رسمی: دوازدهمین کنفرانس بین المللی روشهای مهندسی رسمی ، 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

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

زبان: English

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

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