L

Luigia Petre

5 books found

Books by Luigia Petre
From Action Systems to Distributed SystemsLuigia Petre
⏱ 5h 12m

From Action Systems to Distributed Systems

Luigia Petre

2016312 pp.
Integrated Formal MethodsMichael Butler

Integrated Formal Methods

Michael Butler

2003No page data
Dependability and Computer EngineeringLuigia Petre
⏱ 8h 56m

Dependability and Computer Engineering

Luigia Petre

2011536 pp.
Formal Methods TeachingBrijesh Dongol
⏱ 4h 21m

Formal Methods Teaching

Brijesh Dongol

2019261 pp.
Dependability and computer engineeringLuigia Petre
⏱ 8h 35m

Dependability and computer engineering

Luigia Petre

2012515 pp.