Runtime VerificationEzio Bartocci
Runtime Verification
Ezio Bartocci, Rupak Majumdar · 2015
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2015
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 2
- עמודים
- 432
- ISBN
- 9783319238203
מקור הנתונים: Wikidata
עוד של Ezio Bartocci
Model Checking SoftwareEzio Bartocci
Model Checking Software
Ezio Bartocci · 2013
Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci · 2021
From Reactive Systems to Cyber-Physical SystemsEzio Bartocci
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci · 2019
Lectures on Runtime VerificationEzio Bartocci
Lectures on Runtime Verification
Ezio Bartocci · 2018
Computational Methods in Systems BiologyEzio Bartocci
Computational Methods in Systems Biology
Ezio Bartocci · 2016