bokomslag Interactive Systems: Design, Specification, and Verification
Data & IT

Interactive Systems: Design, Specification, and Verification

Chris J Johnson

Pocket

789:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 221 sidor
  • 2001
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.
  • Författare: Chris J Johnson
  • Illustratör: With FigsATabs
  • Format: Pocket/Paperback
  • ISBN: 9783540428077
  • Språk: Engelska
  • Antal sidor: 221
  • Utgivningsdatum: 2001-10-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K