Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
- Författare
- Roberto. Gorrieri
- (Edited by Roberto Gorrieri, Heike Wehrheim.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2006 | Tyskland, Berlin, Heidelberg | 978-3-540-34895-5 | |
| Springer Berlin / Heidelberg | Utgivningsland okänt / Ej specificerat | v.: digital |