خرید و دانلود نسخه کامل کتاب Model Checking (Cyber Physical Systems Series)

بررسی مدل (سری سیستم‌های فیزیکی سایبری)

Model Checking (Cyber Physical Systems Series)

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

ناشر: The MIT Press

سال انتشار: 2018

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

زبان: English

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

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