خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

روشهای رسمی یکپارچه: دهمین کنفرانس بین المللی ، IFM 2013 ، ترکو ، فنلاند ، 10-14 ژوئن 2013. مجموعه مقالات

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

نویسنده: Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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