Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
E-book
Electronic resources
Record details
- ISBN: 9783540729525
-
Physical Description:
electronic
electronic resource
access
remote
X, 317 p. Also available online. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.