Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

著者

書誌事項

Interactive systems : design, specification, 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)

Springer, c2002

タイトル別名

Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 2002 : revised papers

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Other editors: Quentin Limbourg, Bodo Urban, Jean Vanderdonckt

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ

AltStyle によって変換されたページ (->オリジナル) /