Interactive Systems. Design, Specification, and Verification
Subtitle: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science)
Contributors: Peter Forbrig (Editor); Bodo Urban (Editor); Jean Vanderdonckt (Editor); Quentin Limbourg (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 12, 2003
Language: eng
Format: Paperback
Number of pages: 279
ISBN-13: 9783540002666
Subjects: General Theory of Computing; Human-computer interaction; General; Computer Science; Computer Interfaces; Software Design; Programming - Software Development; Computers; Computers - General Information; Data Transmission Systems - General; Computer Books: General; Congresses; Computers / General; Interactive computer systems