Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ... Notes in Computer Science, Band 4037)
Ein Fachband aus der FMOODS‑Konferenz 2006 in Bologna, der innovative formale Methoden für offene, objektbasierte verteilte Systeme vorstellt und s ...