Research Catalog
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
- Title
- Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer ... [et al.] (eds.)
- Author
- FMCO 2002 (2002 : Leiden, Netherlands)
- Publication
- Berlin ; New York : Springer-Verlag, c2003.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 04-276 | Offsite |
Details
- Additional Authors
- Boer, Frank S. de.
- Description
- viii, 507 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 2852
- Alternative Title
- FMCO 2002
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- Call Number
- JSE 04-276
- ISBN
- 3540203036 (alk. paper)
- LCCN
- 2003066671
- OCLC
- 53183415
- Conference
- FMCO 2002 (2002 : Leiden, Netherlands)
- Title
- Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer ... [et al.] (eds.)
- Imprint
- Berlin ; New York : Springer-Verlag, c2003.
- Series
- Lecture notes in computer science ; 2852
- Bibliography
- Includes bibliographical references and index.
- Additional Formats
- Also available via the World Wide Web.
- Added Author
- Boer, Frank S. de.
- Research Call Number
- JSE 04-276