دانلود کتاب Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
by João Lourenço (auth.)
|
عنوان فارسی: سخت افزار و نرم افزار: تأیید و تست: کنفرانس بین المللی 6 حیفا تأیید، HVC 2010، حیفا، اسرائیل، 04-07 اکتبر، 2010. تجدید نظر مقالات انتخاب شده |