خرید و دانلود نسخه کامل کتاب Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

روش های رسمی برای سیستم های انتقادی صنعتی: نوزدهمین کنفرانس بین المللی ، FMICS 2014 ، فلورانس ، ایتالیا ، 11-12 سپتامبر 2014. مجموعه مقالات

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

نویسنده: Frédéric Lang, Francesco Flammini (eds.)

ناشر: Springer International Publishing

سال انتشار: 2014

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

زبان: English

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

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