دانلود کتاب Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
by Alan J. Hu (auth.)
|
عنوان فارسی: سخت افزار و نرم افزار: تأیید و تست: سومین کنفرانس بین المللی حیفا تأیید، HVC 2007، حیفا، اسرائیل، اکتبر 23-25، 2007. مجموعه مقالات |