Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue

Formal Methods for Open Object-Based Distributed Systems V, Fachbücher

Formal Methods For Open Object-based Distributed Systems Iv Ifip

Formal Methods for Components and Objects, Fachbücher von Susanne Graf, Marcello M. Bonsangue

Formal Methods for Embedded Distributed Systems, Fachbücher von Fabrice Kordon

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Paolo Ciancarini (u. A.) | Formal Methods For Open Object-based

Arend Rensink (u. A.) | Formal Methods For Open Object-based

Jean-bernard Stefani (u. A.) | Formal Methods For Open Object-based...

Carolyn L. Talcott (u. A.) | Formal Methods For Open Object-based

Formal Techniques For Distributed Objects, Components, And Systems

Formal Methods for Distributed System Development, Fachbücher

Designing Reliable Distributed Systems A Formal Methods Approach Based

Formal Techniques for Distributed Systems, Fachbücher von Dirk Beyer

Concurrency Control Techniques for Object Oriented Distributed Systems, Fachbücher

Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher