---

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.)
(Lecture notes in computer science ; 2495)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2002
形態	xi, 626 p. : ill. ; 24 cm
別書名	表紙タイトル:Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 2002 : proceedings
著者標目	*International Conference on Formal Engineering Methods (ICFEM) (2002 : 4th : Shanghai, China) George, Chris Miao, Huaikou
件　名	LCSH:Computer security -- Congresses  全ての件名で検索 LCSH:Computers -- Access control -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00653287

 類似資料