تأیید رسمی سخت افزار متوالی: یک آموزش
Formal Verification of Sequential Hardware: A Tutorial
نویسنده: McFarland M.C.
ناشر: 1993
سال انتشار: 1993
تعداد صفحات: 22
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت
توضیحی برای این کتاب ثبت نشده است.