Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Programming and Software Engineering 5051 (Paperback)Gilles Barthe (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 259
Weight: 427 g
Dimensions: 235 x 155 x 14 mm
Edition: 2008 ed.
You may also be interested in...
Please sign in to write a review