خرید و دانلود نسخه کامل کتاب Constraint-Based Verification

تأیید مبتنی بر محدودیت

Constraint-Based Verification

نویسنده: Jun Yuan, Carl Pixley, Adnan Aziz (auth.)

ناشر: Springer US

سال انتشار: 2006

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

زبان: English

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

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