Research Catalog
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
- Title
- Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Marcello M. Bonsangue, Einar Broch Johnsen (eds.).
- Author
- International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus)
- Publication
- Berlin ; New York : Springer, [2007], ©2007.
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA76.9.D5 I573 2007g | Off-site |
Not available - Please for assistance. | Text | Use in library | Off-site |
Holdings
Details
- Additional Authors
- Description
- x, 316 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 4468
- Uniform Title
- Lecture notes in computer science ; 4468.
- Alternative Title
- FMOODS 2007
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also issued online.
- ISBN
- 9783540729198 (pbk.)
- 3540729194 (pbk.)
- LCCN
- 2007927619
- OCLC
- ocn137334577
- 137334577
- SCSB-5346132
- Owning Institutions
- Columbia University Libraries