خرید و دانلود نسخه کامل کتاب SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT (سری در مدارها و سیستم های یکپارچه)

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

نویسنده: Malay Ganai, Aarti Gupta

ناشر: Springer Science+Business Media, LLC, 1, 20070526

سال انتشار: 2007

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

زبان: English

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

حجم فایل: 3 مگابایت