Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2008
نویسنده
Shaoying Liu; Tom Maibaum; Keijiro Araki; International Conference on Formal Engineering Methods,شابک
9783540881940
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران