Formal methods for open object-based distributed systems:7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (7th 2005 Athens, Greece); IFIP Working Group 6.1.
Group Author: Steffen Martin.; Zavattaro Gianluigi.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3535
Subjects:
Carrier Form: x, 321 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540261818 (pbk.)
Index Number: TP338
CLC: TP338.8-532
Call Number: TP338.8-532/I615/2005
Contents: "7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref.
Includes bibliographical references and index.