Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Uk, June 13-15, 2001. Revise

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Uk, June 13-15, 2001. Revise

Johnson, Chris J.

Paperback

Series: Lecture Notes in Computer Science, Book 2220

Medical ReferenceGeneral ComputersProgramming

ISBN10: 3540428070
ISBN13: 9783540428077
Publisher: Springer
Published: Oct 24 2001
Pages: 221
Weight: 0.74
Height: 0.50 Width: 6.14 Depth: 9.21
Language: English
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.

Also from

Johnson, Chris J.

View All

Also in

General Computers

View All