"Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings"
- Författare
- Gilles Barthe
- Genre
- Electronic books
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
2008 | Utgivningsland okänt / Ej specificerat | |||
Springer | 2008 | Utgivningsland okänt / Ej specificerat |