Formal Methods for Open Object-Based Distributed Systems
Subtitle: 8th IFIP WG 6. 1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
Number of pages: 276
ISBN-13: 9783540348955
Subjects: Electronic data processing, distributed processing; Object-oriented programming (computer science)