Formal Methods for Distributed Processing - 9780521168755

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

Formal Methods for Distributed Processing : A Survey of Object-Or

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

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

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

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

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