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)
von:
Roberto Gorrieri
·
Heike Wehrheim
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-34893-1
ISBN-10: 3-540-34893-X
Springer
· 2008