Formal methods for open object-based distributed systems:10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway); SpringerLink (Online service); IFIP Working Group 6.1.
Group Author: Boer Frank S. de.; Barthe Gilles, 1967-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2008.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5051
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-68863-1
Carrier Form: 1 online resource (x, 258 p.): ill.
ISBN: 9783540688631 (electronic bk.)
3540688633 (electronic bk.)
Index Number: TP338
CLC: TP338.8-532
Contents: " ... the 10th IFIP Working Group 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008)."--Pref.
Includes bibliographical references and index.