Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Alessandro Fantechi, Paolo Ciancarini, Roberto ...

Formal Methods for Open Object-Based Distributed Systems V, Fachbücher von Arend Rensink, Bart Jacobs

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

Formal Methods For Open Object-based Distributed Systems Ifip Tc6 /

Formal Methods for Open Object-Based Distributed Systems IV, Fachbücher von Scott F. Smith, Carolyn L. Talcott

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, Fachbücher von Luís Caires, Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Ana Sokolova, Alexey Gotsman

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Alexandra Silva, Ahmed Bouajjani

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Elvira Albert, Ivan Lanese

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Nobuko Yoshida, Jorge A. Pérez

Formal Techniques for Distributed Systems, Fachbücher von David Lee, Arnd Poetzsch-Heffter, Antonia Lopes

Formal Techniques For Distributed Objects, Components, And Systems