Interactive systems
Subtitle: design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers
By: Chris Johnson (ed.).
Contributors: Johnson, Chris
Series: Lecture notes in computer science -- 2220.
Publisher: Springer
Published: 2001
Place of publication: Berlin; New York
Language: eng
Number of pages: 217
Subjects: Interactive computer systems -- Congresses
Genres: Congresses.
Other titles: DSV-IS 2001.
Notes: Includes bibliographical references and index.