دانلود کتاب Formal Hardware Verification: Methods and Systems in Comparison
تأیید رسمی سخت افزار: روش ها و سیستم ها در مقایسه
زبان : English
نویسندگان : Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1997
ISBN (شابک) : 3540634754, 9783540634751
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1287
تعداد صفحات : 376[379]
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان