Formal methods for open object-based distributed systems IV
Subtitle: IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA
By: edited by Scott F. Smith, Carolyn L. Talcott.
Contributors: Smith, Scott F.; Talcott, Carolyn L.
Series: International Federation for Information Processing -- 49; International Federation for Information Processing (Series) -- 49.
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Boston, Mass
Language: eng
Number of pages: 417
Subjects: Electronic data processing -- Distributed processing -- Congresses; Object-oriented programming (Computer science) -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references.