Luigia Petre

Luigia Petre

2 ספרים במאגר

ספרים

From Action Systems to Distributed SystemsLuigia Petre

From Action Systems to Distributed Systems

Luigia Petre · 2016

Dependability and Computer EngineeringLuigia Petre

Dependability and Computer Engineering

Luigia Petre · 2011

ספרים משותפים ואוספים

ספרים שבהם Luigia Petre מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Methods TeachingBrijesh Dongol

Formal Methods Teaching

Brijesh Dongol · 2019

Integrated Formal MethodsMichael Butler

Integrated Formal Methods

Michael Butler · 2003