
Integrated Formal Methods
9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
Helen Treharneنویسنده
Helen Treharneناشر
Springerناشر
Springerشابک
9783642307287
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران