
Formal Techniques for Safety-Critical Systems
Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2014
نویسنده
Peter Csaba Olveczkyناشر
Springerشابک
9783319054155
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران