Interactive systems
Subtitle: design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers
By: Peter Forbrig ... [et al.].
Contributors: Forbrig, Peter, 1954-
Series: Lecture notes in computer science -- 2545.
Publisher: Springer
Published: 2002
Place of publication: New York
Language: eng
Number of pages: 267
Subjects: Interactive computer systems -- Congresses
Genres: Congresses.
Other titles: DSV-IS 2002.
Notes: Includes bibliographical references and index.