unbedded

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

دانلود کتاب The Inverse Method: Parametric Verification of Real-time Unbedded Systems (به فارسی: روش معکوس: تأیید پارامتریک سیستم‌های بدون بستر بلادرنگ) نوشته شده توسط «Etienne André – Romain Soulat» اطلاعات کتاب روش معکوس: تأیید پارامتریک سیستم‌های بدون بستر بلادرنگ موضوع اصلی: مهندسی نوع: کتاب الکترونیکی ناشر: Wiley-ISTE نویسنده: Etienne André – Romain Soulat زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2013 تعداد صفحه: 176 / 161 حجم فایل: 4.84 مگابایت کد کتاب: 1848214472 , 9781848214477 نوبت چاپ: 1 توضیحات کتاب روش معکوس: تأیید پارامتریک سیستم‌های بدون بستر بلادرنگ این کتاب تکنیک‌های تأیید پیشرفته را…