---

Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer ... [et al.] (eds.)
(Lecture notes in computer science ; 2852)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	viii, 507 p. : ill. ; 24 cm
別書名	背表紙タイトル:Formal methods for components and objects : FMCO 2002 表紙タイトル:Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 2002 : revised lectures
著者標目	*International Symposium on Formal Methods for Components and Objects (FMCO) (1st : 2002 : Leiden, Netherlands) Boer, Frank S. de
件　名	LCSH:Formal methods (Computer science) -- Congresses  全ての件名で検索 LCSH:Component software -- Congresses  全ての件名で検索 LCSH:Object-oriented programming (Computer science) -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:QA76.9.F67 DC22:005.3
書誌ID	LT00675605

 類似資料