Formal methods for open object-based distributed systems [E-Book] : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings / ed. by G. Barthe ...
Barthe, G., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540688631 (e-book)
9783540688624
Lecture notes in computer science ; 5051
Full Text
Description not available.