
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings / Part II.
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
شابک
9783642340321
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران