Research Catalog

Formal methods for open object-based distributed systems : 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).

Title
Formal methods for open object-based distributed systems : 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).
Author
International Conference on Formal Methods for Open Object-Based Distributed Systems (6th : 2003 : Paris, France)
Publication
Berlin ; New York : Springer-Verlag, 2003.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.D5 I573 2003Off-site

Details

Additional Authors
  • Najm, Elie.
  • Nestmann, Uwe.
  • Stevens, Perdita.
Description
x, 292 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 2884
Uniform Title
Lecture notes in computer science ; 2884.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540204911 (alk. paper)
LCCN
2003066647
Owning Institutions
Columbia University Libraries