خرید و دانلود نسخه کامل کتاب Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse

تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان

Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse

نویسنده: Malte Schmitz (auth.)

ناشر: Springer Vieweg

سال انتشار: 2016

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

زبان: German

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

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