
Leveraging applications of formal methods, verification and validation Pt. 2. Applications and case studies
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2012
شابک
978-3-642-34031-4
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران