Research Catalog

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: Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 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, c2003.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-843	Offsite

Details

Additional Authors

Description

x, 292 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 2884

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 04-843

ISBN

3540204911 (alk. paper)

LCCN

2003066647

OCLC

53287799

Conference

International Conference on Formal Methods for Open Object-Based Distributed Systems (6th : 2003 : Paris, France)

Title

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

Imprint

Berlin ; New York : Springer, c2003.

Series

Lecture notes in computer science ; 2884

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Added Author

Najm, Elie.

Nestmann, Uwe.

Stevens, Perdita.

Research Call Number

JSE 04-843

View in Legacy Catalog