خرید و دانلود نسخه کامل کتاب Abstraction Refinement for Large Scale Model Checking

اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ

Abstraction Refinement for Large Scale Model Checking

نویسنده: Chao Wang, Gary D. Hachtel, Fabio Somenzi

ناشر: Springer

سال انتشار: 2006

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

زبان: English

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

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