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

کتابچه راهنمای بررسی مدل

Handbook of Model Checking

نویسنده: Edmund M. Clarke (editor), Thomas A. Henzinger (editor), Helmut Veith (editor), Roderick Bloem (editor)

ناشر: Springer

سال انتشار: 2018

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

زبان: English

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

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