![Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers.](https://dl.bookem.ir/covers/ISBN13/978-3-642-34780-1.jpg)
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers.
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
شابک
978-3-642-34780-1
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران