
Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse
فرمت کتاب
ebook
زبان
german
تاریخ انتشار
2016
شابک
9783658128524
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران