1.

図書
図書
1. 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.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2884
所蔵情報: loading…
2.

図書
図書
2. Engineering distributed objects : second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers
Wolfgang Emmerich, Stefan Tai (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 1999
所蔵情報: loading…