Research Catalog
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
- Title
- Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim (eds.).
- Author
- International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy)
- Publication
- Berlin ; New York, NY : Springer, [2006], ©2006.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA76.9.D5 I573 2006 | Off-site |
Holdings
Details
- Additional Authors
- Description
- x, 266 pages; 24 cm.
- Series Statement
- Lecture notes in computer science ; 4037
- Uniform Title
- Lecture notes in computer science ; 4037.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 354034893X
- OCLC
- ocm70250493
- SCSB-5260286
- Owning Institutions
- Columbia University Libraries