Formal methods for open object-based distributed systems /

Bibliographic Details
Other Authors: Najm, Elie, Stefani, Jean-Bernard
Format: Book
Language:English
Published: London ; New York : Chapman & Hall, on behalf of IFIP, 1997.
Edition:1st ed.
Subjects:
Description
Physical Description:vii, 411 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and indexes.
ISBN:0412797704