خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

روشهای رسمی یکپارچه: هفتمین کنفرانس بین المللی ، IFM 2009 ، دوسلدورف ، آلمان ، 16-19 فوریه ، 2009. مجموعه مقالات

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

نویسنده: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

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

زبان: English

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

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