---

Interactive systems : design, specification, and verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers / Chris Johnson (ed.)
(Lecture notes in computer science ; 2220)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2001
形態	xii, 217 p. : ill. ; 24 cm
別書名	表紙タイトル:Interactive systems : design, specification, and verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 2001 : revised papers
著者標目	*Design, Specification and Verification of Interactive Systems (DSV-IS) (2001 : Glasgow, Scotland, UK) Johnson, Chris
件　名	LCSH:Interactive computer systems -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00626807

 類似資料