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

بررسی مدل

Model Checking

نویسنده: Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

ناشر: The MIT Press

سال انتشار: 2018

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

زبان: English

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

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