Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 /

Bibliographic Details
Corporate Author: International Conference on Formal Methods for Open Object-Based Distributed Systems Enschede, The Netherlands
Other Authors: Jacobs, Bart (ed.), Rensink, Arend (ed.)
Format: Conference Proceeding Book
Language:English
Published: Boston : Kluwer, 2002.
Series:International Federation for Information Processing ; no. 81
Subjects:
Description
Physical Description:x, 278 p. : il. ; 25 cm.
ISBN:0792376838