E

Ezio Bartocci

7 books found

Books by Ezio Bartocci
OrganicittàEzio Bartocci
⏱ 1h 18m

Organicittà

Ezio Bartocci

198178 pp.
Lectures on Runtime VerificationEzio Bartocci
⏱ 4h 5m

Lectures on Runtime Verification

Ezio Bartocci

2018245 pp.
Runtime VerificationEzio Bartocci
⏱ 7h 22m

Runtime Verification

Ezio Bartocci

2015442 pp.
Model Checking SoftwareEzio Bartocci
⏱ 6h 27m

Model Checking Software

Ezio Bartocci

2013387 pp.
Computational Methods in Systems BiologyEzio Bartocci
⏱ 5h 56m

Computational Methods in Systems Biology

Ezio Bartocci

2016356 pp.
Formal Methods in Outer SpaceEzio Bartocci

Formal Methods in Outer Space

Ezio Bartocci

2021No page data
From Reactive Systems to Cyber-Physical SystemsEzio Bartocci
⏱ 5h 17m

From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci

2019317 pp.