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

Steffen - Formal Methods for Open Object-Based Distributed Systems 7 - X555z

Najm - Formal Methods for Open Object-Based Distributed Systems 6th - X555z

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

Formal Methods for Open Object-Based Distributed, , New

Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 In...

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1: New