Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Mahesh Viswanathan, Susanne Graf

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Erika Ábrahám, Catuscia Palamidessi

Coordination Models and Languages, Fachbücher von Tom Holvoet, Mirko Viroli

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Klaus Havelund, Erika Abraham

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

Distributed Applications and Interoperable Systems, Fachbücher von Sara Bouchenak, Alysson Bessani

Principles of Security and Trust, Fachbücher von Martín Abadi, Steve Kremer

Foundations of Software Science and Computation Structures, Fachbücher von Anca Muscholl

Formal Techniques For Distributed Systems Joint Ifip Wg 6.1

Compiler Construction, Fachbücher von Albert Cohen

Fundamental Approaches to Software Engineering, Fachbücher von Arend Rensink, Stefania Gnesi

Distributed Applications and Interoperable Systems, Fachbücher von François Taïani, Jim Dowling

Intelligent Mechanisms for Network Configuration and Security, Fachbücher

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Cesare Tinelli, Christel Baier

Distributed, Ambient, and Pervasive Interactions, Fachbücher von Norbert Streitz, Panos Markopoulos

Foundations of Software Science and Computational Structures, Fachbücher von Helmut Seidl