
Formal Methods for Industrial Critical Systems
19th International Conference, Fmics 2014, Florence, Italy, September 11-12, 2014, Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2014
نویسنده
Francesco Flamminiناشر
Springerشابک
9783319107011
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران