Formal Methods for Open Object-based Distributed Systems: 8Th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : Proceedings (Lecture notes in computer science 4037)

Författare
Roberto Gorrieri
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Verlag 2006 Utgivningsland okänt / Ej specificerat