خرید و دانلود نسخه کامل کتاب A Survey of Recent Advances in SAT-Based Formal Verification

بررسی پیشرفت های اخیر در تایید رسمی بر اساس SAT

A Survey of Recent Advances in SAT-Based Formal Verification

نویسنده: Hans Kleine Büning, Theodor Lettmann

ناشر: Cambridge University Press (Virtual Publishing), Software Tools for Technology Transfer, 1999

سال انتشار: 1999

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

زبان: English

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

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