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

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 Ana Sokolova, Alexey Gotsman

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 Nobuko Yoshida, Jorge A. Pérez

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

Models, Languages, and Tools for Concurrent and Distributed Programming, Fachbücher von Michele Loreti, Michele Boreale,...

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 Techniques for Networked and Distributed Systems - FORTE 2008, Fachbücher von Teruo Higashino, Kenji Suzuki, Keii...

Formal Techniques For Distributed Systems Joint Ifip Wg 6.1

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

Distributed Algorithms for Message-Passing Systems, Fachbücher von Michel Raynal

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