Verified software: theories, tools, experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 ; proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2012
شابک
978-3-642-27704-7
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران