خرید و دانلود نسخه کامل کتاب Symbolic Simulation Methods for Industrial Formal Verification

روش‌های شبیه‌سازی نمادین برای تأیید صوری رسمی

Symbolic Simulation Methods for Industrial Formal Verification

نویسنده: Robert B. Jones (auth.)

ناشر: Springer US

سال انتشار: 2002

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

زبان: English

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

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