---

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.)
(Lecture notes in computer science ; 2884)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	x, 292 p. : ill. ; 24 cm
別書名	背表紙タイトル:Formal methods for open object-based distributed systems : FMOODS 2003 表紙タイトル:Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 2003 : proceedings
著者標目	*International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) (6th : 2003 : Paris, France) Najm, Elie Nestmann, Uwe Stevens, Perdita
件　名	LCSH:Electronic data processing -- Distributed processing -- Congresses  全ての件名で検索 LCSH:Object-oriented programming (Computer science) -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:QA76.9.D5 DC22:005.13/1
書誌ID	LT00676832

 類似資料