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

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 Approache

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

Bowman - Wisdom of the Gurus A Vision for Object Technology - paperba - G555z

Formal Methods for Open Object-Based Distributed, , New

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