Name: Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, - Gilles Barthe
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Availability: InStock

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, - Gilles Barthe - Springer-Verlag Berlin and Heidelberg GmbH & Co. K | SuperScan