.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Design Specification and Verification of Interactive Systems '99
D. J. . Ed(S): Duke
€ 67.51
FREE Delivery in Ireland
Description for Design Specification and Verification of Interactive Systems '99
Paperback. The collection of papers in this volume covers specification methods and their use in design, model-based tool support, task and dialogue models, distributed collaboration, and models for virtual reality input. Editor(s): Duke, D. J. Series: Eurographics. Num Pages: 282 pages, 34 black & white illustrations. BIC Classification: UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 16. Weight in Grams: 540.
This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col ... Read more
This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
Springer Verlag GmbH Austria
Number of pages
282
Condition
New
Series
Eurographics
Number of Pages
282
Place of Publication
Vienna, Austria
ISBN
9783211834053
SKU
V9783211834053
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Design Specification and Verification of Interactive Systems '99