Title: Formal methods for open object-based distributed systems
First published: 1999
Description: "This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999."--BOOK JACKET.

"Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government."--BOOK JACKET.
Subjects: Congresses, Electronic data processing, Distributed processing, Object-oriented programming (Computer science), Object-oriented methods (computer science), Osi (computer network standard), Electronic data processing, distributed processing
LC classification: QA76.9.D5 I573 1999