خرید و دانلود نسخه کامل کتاب Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

روشهای رسمی و مهندسی نرم افزار: چهاردهمین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2012 ، کیوتو ، ژاپن ، 12 تا 16 نوامبر ، 2012. مجموعه مقالات

Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

نویسنده: Mario Tokoro (auth.), Toshiaki Aoki, Kenji Taguchi (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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