خرید و دانلود نسخه کامل کتاب A survey of techniques for formal verification of combinational circuits

بررسی تکنیک‌های تأیید رسمی مدارهای ترکیبی

A survey of techniques for formal verification of combinational circuits

نویسنده: Jain J., Narayan A., Fujita M.

سال انتشار: 1997

تعداد صفحات: 10

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 299 کیلوبایت