Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers
Author(s)
Bibliographic Information
Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers
（Lecture notes in computer science, 2545）
Springer, c2002
- Other Title
-
Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 2002 : revised papers
Available at / 19 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||254502083778
-
INTERNATIONAL CHRISTIAN UNIVERSITY LIBRARY図
V.2545007.6/L507/v.254505931682,
007.6/L507/v.254505931682 -
University of Tsukuba Library, Library on Library and Information Science
007.08-L49-254510002309640
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Other editors: Quentin Limbourg, Bodo Urban, Jean Vanderdonckt