Formal methods for open object-based distributed systems 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece June 15-17, 2005 : proceedings
International Conference on Formal Methods for Open Object-Based Distributed Systems (7th 2005 Athens, Greece) Martin Steffen; Gianluigi Zavattaro; IFIP Working Group 6.1
Berlin Springer New York c2005
Acesso online. A biblioteca também possui exemplares impressos.