Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Bok Engelsk 2003 FMOODS 2003
Utgitt | Berlin : Springer , c2003
|
---|---|
Omfang | X, 292 s. : ill.
|
Emner | |
ISBN | 3540204911
|