1.
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10...
by Johnsen, Einar Broch, Petre...
ISBN: 9783642386121
List Price: $89.99
2.
Integrated Formal Methods Third International Conference, Ifm 2002, Turku, Finland, May 15-1...
by Butler, Michael, Petre, Lui...
ISBN: 9783540437031
List Price: $77.95
3.
From Action Systems to Distributed Systems : The Refinement Approach
by Petre, Luigia, Sekerinski, ...
ISBN: 9781498701587
OUT OF STOCK
See Availability on Amazon4.
Dependability and Computer Engineering : Concepts for Software-Intensive Systems
by Petre, Luigia, Sere, K., Tr...
ISBN: 9781609607494
OUT OF STOCK
See Availability on Amazon5.
Dependability and Computer Engineering: Concepts for Software-intensive Systems
by Petre, Luigia, Sere, Kaisa,...
ISBN: 9781609607470
List Price: $195.00
6.
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10...
by Johnsen, Einar Broch, Petre...
ISBN: 9783642386138
List Price: $95.00
OUT OF STOCK
See Availability on Amazon7.
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held As Par...
by Dongol, Brijesh, Petre, Lui...
ISBN: 9783030324407
List Price: $69.99
8.
From Action Systems to Distributed Systems: the Refinement Approach
by Petre, Luigia, Sekerinski, ...
ISBN: 9780367574857