Formal Methods for Protocol Engineering and Distributed Systems by Jianping Wu

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

Formal Methods for Embedded Distributed Systems: How to Master the Complexity

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

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

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