
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 II
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2010
نویسنده
Bernhard Steffenناشر
Springerشابک
9783642165603
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران