
Formal methods for industrial critical systems : 17th international workshop : proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
Mariëlle Stoelingaنویسنده
Mariëlle Stoelingaشابک
978-3-642-32468-0
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران