.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Interactive Systems - Design, Specification and Verification
Chris J. . Ed(S): Johnson
€ 66.95
FREE Delivery in Ireland
Description for Interactive Systems - Design, Specification and Verification
paperback. The revised papers of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001 are presented in this text which offers sections on mobile interface design, context-sensitive interfaces, temporal and stochastic issues and new perspectives. Editor(s): Johnson, Chris J. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, biography. BIC Classification: UG; UK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 337.
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.
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.
Product Details
Format
Paperback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
233
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
221
Place of Publication
Berlin, Germany
ISBN
9783540428077
SKU
V9783540428077
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Interactive Systems - Design, Specification and Verification