
Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, Isola 2010, Heraklion, Crete, Greece, October 18-21, 2010 Proceedings, Part I
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2010
نویسنده
Bernhard Steffenناشر
Springerشابک
9783642165573
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران