Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci, Yliès Falcone, Martin Leucker · 2021
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2021
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 1
- ISBN
- 9783030873479
מקור הנתונים: Wikidata
עוד של Ezio Bartocci
Model Checking SoftwareEzio Bartocci
Model Checking Software
Ezio Bartocci · 2013
Runtime VerificationEzio Bartocci
Runtime Verification
Ezio Bartocci · 2015
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