This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.
| ISBN: | 9783540428077 |
| Publication date: | 24th October 2001 |
| Author: | DSVIS 2001 Conference, Chris Johnson |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 217 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Human–computer interaction Graphics programming Software Engineering Mathematical theory of computation Computer hardware Applied computing |
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.
Interactive Systems features in the following genres: Human–computer interaction, Graphics programming, Software Engineering, Mathematical theory of computation, Computer hardware, Applied computing
Interactive Systems is available in Paperback
Interactive Systems was written by DSVIS 2001 Conference, Chris Johnson and published by Springer an imprint of Springer Berlin Heidelberg
Interactive Systems has 217 pages
Yes it is part of Lecture Notes in Computer Science series