Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs: Used

IFIP: Formal Methods for Open Object-Based Distributed Systems IV by S Smith HC

Formal Methods for Open Object-Based Distributed, , New

Formal Methods for Open Object-Based Distributed Systems IV b... - 9781475710182

Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs: New

Formal Methods for Open Object-Based Distributed Systems, Hardcover by Najm, ...

Ciancarini - Formal Methods for Open Object-Based Distributed Systems - X555z