Formal Methods for Distributed Processing by Howard Bowman, J... - 9780521168755

Bowman - Formal Methods for Distributed Processing A Survey of Object - G555z

Formal Methods for Distributed Processing A Survey of Object-Orie

Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approach

Formal Methods for Protocol Engineering and Distributed Systems : Forte Xii/P...

Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches

Formal Methods for Industrial Critical Systems : A Survey of Applications, Pa...