خرید و دانلود نسخه کامل کتاب SAT-based scalable formal verification solutions

راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT

SAT-based scalable formal verification solutions

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

ناشر: Springer Science+Business Media

سال انتشار: 2007

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

زبان: English

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

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