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/creator | International Conference on Formal Methods for Open Object-Based Distributed Systems |
| Other author | Gorrieri, Roberto. |
| Other author | Wehrheim, Heike. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, 2006. |
| Description | x, 266 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Subjects |
| Portion of title | 8th IFIP WG 6.1 international conference |
| Variant title | Eighth IFIP WG 6.1 international conference |
| Portion of title | FMOODS 2006 |
| Series | Lecture notes in computer science ; 4037 Lecture notes in computer science 4037. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2006926884 |
| ISBN | 354034893X |
| ISBN | 9783540348931 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.D5 I573 2006 | ✔ Available | Place Hold |