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

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

Handbook of Model Checking

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

ناشر: Springer

سال انتشار: 2018

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

زبان: English

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

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