دانلود کتاب Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
سخت افزار و نرم افزار: تأیید و آزمایش: سومین کنفرانس بین المللی تأیید حیفا ، HVC 2007 ، حیفا ، اسرائیل ، 23-25 اکتبر 2007. مجموعه مقالات
زبان : English
نویسندگان : Alan J. Hu (auth.), Karen Yorav (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2008
ISBN (شابک) : 3540779647, 9783540779643
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4899 : Programming and Software Engineering
تعداد صفحات : 267[287]
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان
