福岡大学蔵書検索

検索結果一覧に戻る

Interactive systems : design, specifications, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers / Peter Forbrig ... [et al.] (eds.)
(Lecture notes in computer science ; 2545)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2002
形態	x, 267 p. : ill. ; 24 cm
別書名	表紙タイトル:Interactive systems : design, specifications, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 2002 : revised papers
著者標目	*Design, Specifications, and Verification of Interactive Systems (DSV-IS) (9th : 2002 : Rostock, Germany) Forbrig, Peter, 1954-
件　名	LCSH:Interactive computer systems
分　類	NDC:549.92
書誌ID	LT00657531

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/2545	0113084800100	9783540002666				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"Design, Specifications, and Verification of Interactive Systems (DSV-IS) is the annual meeting of the human-computer interaction community interested in all aspects of the design, specifications, and verification of interactive systems."--Pref. Includes bibliographical references and index
巻冊次	ISBN:3540002669

目次／あらすじ