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

بررسی مدل

Model Checking

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

ناشر: MIT Press

سال انتشار: 2018

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

زبان: English

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

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