Formal methods for open object-based distributed systems:9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (9th 2007 Paphos, Cyprus); IFIP Working Group 6.1.; SpringerLink (Online service)
Group Author: Johnsen Einar Broch.; Bonsangue Marcello M.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2007.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4468
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-72952-5
Carrier Form: x, 316 p.: ill. ; 24 cm.
ISBN: 9783540729525 (electronic bk.)
3540729526 (electronic bk.)
Index Number: TP338
CLC: TP338.8-532
Contents: Includes bibliographical references and index.