Formal Methods for Open Object-Based Distributed Systems electronic resource - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
- Författare
- Marcello M. Bonsangue
- (Edited by Marcello M. Bonsangue, Einar Broch Johnsen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag GmbH. | 2007 | Utgivningsland okänt / Ej specificerat, Berlin Heidelberg | v.: digital | 978-3-540-72952-5 |