Formal Methods for Open Object-Based Distributed Systems electronic resource - 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
- Författare
- Gilles. Barthe
- (Edited by Gilles Barthe, Frank S. Boer.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag Berlin Heidelberg | 2008 | Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg | v.: digital | 978-3-540-68863-1 |