خرید و دانلود نسخه کامل کتاب Symbolic Model Checking

بررسی مدل نمادین

Symbolic Model Checking

نویسنده: Kenneth L. McMillan (auth.)

ناشر: Springer US

سال انتشار: 1993

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

زبان: English

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

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