خرید و دانلود نسخه کامل کتاب The Inverse Method: Parametric Verification of Real-time Unbedded Systems

روش معکوس: تأیید پارامتریک سیستم‌های بدون بستر بلادرنگ

The Inverse Method: Parametric Verification of Real-time Unbedded Systems

نویسنده: Etienne André, Romain Soulat

ناشر: Wiley-ISTE

سال انتشار: 2013

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

زبان: English

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

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