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 (4037), Band 4037)

Distributed

von: Roberto Gorrieri · Heike Wehrheim

Taschenbuch

ISBN: 978-3-540-34893-1

ISBN-10: 3-540-34893-X

Springer · 2008