
Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2010
نویسنده
Stefan Kowalewski; Marco Roveriشابک
9783642158988
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران