Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002: 2545 (Lecture Notes in Computer Science)

by Bodo Urban (Author), Bodo Urban (Author), Jean Vanderdonckt (Author), Peter Forbrig (Author), Quentin Limbourg (Author)

• New

  Paperback
  2002

  $73.55

  This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement.