خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

روشهای رسمی یکپارچه: هشتمین کنفرانس بین المللی ، IFM 2010 ، نانسی ، فرانسه ، 11-14 اکتبر 2010. مجموعه مقالات

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

نویسنده: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

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

زبان: English

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

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