Interactive Systems: Design, Specification, and Verification
Subtitle: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: November 28, 2001
Language: eng
Format: Paperback
Number of pages: 219
ISBN-13: 9783540428077
Subjects: Computer Hardware & Operating Systems; Computer graphics software; Data Processing - General; Computer Interfaces; Computers; Computers - General Information; Computer Books: General; Interactive computer systems; Data Transmission Systems - General; Computer Graphics - General; General; Adaptive Interfaces; CSW; Computers / Computer Science; Formal Methods; Human-Computer Interaction (HCI); Interactive Systems; Interface Design; Mobility; Congresses