Formal methods for open object-based distributed systems
Subtitle: IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy
By: edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.
Contributors: Ciancarini, Paolo, 1959-; Fantechi, Alessandro.; Gorrieri, Roberto.; International Federation for Information Processing. Technical Committee 6.
Series: International Federation for Information Processing ; 10; International Federation for Information Processing (Series) -- 10.
Publisher: Kluwer Academic
Published: 1999
Place of publication: Bostons
Language: eng
Number of pages: 436
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Object-oriented programming (Computer science) -- Congresses.
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.
Notes: Includes bibliographical references.