Formal methods for open object-based distributed systems V
Subtitle: IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands
By: edited by Bart Jacobs, Arend Rensink.
Contributors: Jacobs, Bart.; Rensink, Arend.
Series: IFIP -- 81; International Federation for Information Processing (Series) -- 81.
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Boston
Language: eng
Number of pages: 278
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Object-oriented programming (Computer science) -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.