Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

The Resource Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Label
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Title remainder
6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Statement of responsibility
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003. The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification
Member of
Cataloging source
COO
Dewey number
005.13/1
Index
index present
LC call number
QA76.9.D5
LC item number
I573 2003
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science
Series volume
2884

Context

Context of Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Work of

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...