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 by P... - 9781475752663

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

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

Smith - Formal Methods for Open Object-Based Distributed Systems IV - X555z

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

Jacobs - Formal Methods for Open Object-Based Distributed Systems V I - X555z