Dansk
Interactive Systems: Design, Specification, and Verification e-bog
436,85 DKK
(inkl. moms 546,06 DKK)
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, contex...
E-bog
436,85 DKK
Forlag
Springer
Udgivet
30 juni 2003
Genrer
Computer hardware
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783540455226
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.