دانلود کتاب 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]

حجم : 7 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان