Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Tim A. C. Willemse, Kirstin Peters

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

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 Luís Caires, Christel Baier

Formal Techniques For Distributed Objects, Components, And Systems |

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

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

Formal Methods for Industrial Critical Systems, Fachbücher von Kim Guldstrand Larsen, Tim Willemse

Formal Techniques for Networked and Distributed Systems, Fachbücher von Sungwon Kang, Myungchul Kim, Danhyung Lee, Byoun...

Formal Techniques For Networked And Distributed Systems Forte 2001

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

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

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

Formal Techniques for Networked and Distributed Systems - FORTE 2008, Fachbücher von Teruo Higashino, Kenji Suzuki, Keii...