خرید و دانلود نسخه کامل کتاب Scalable Techniques for Formal Verification

تکنیک های مقیاس پذیر برای تأیید رسمی

Scalable Techniques for Formal Verification

نویسنده: Sandip Ray (auth.)

ناشر: Springer US

سال انتشار: 2010

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

زبان: English

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

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