
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. 1
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2012
نویسنده
Tiziana Margariaنویسنده
Tiziana Margariaشابک
9783642340260
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران