"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