Interactive Systems. Design, Specification, and Verification [electronic resource] 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, T. C. Nicholas Graham, Philippe Palanque.

Subject headings

Computer Communication Networks  (LCSH)

Computer science  (LCSH)

Information storage and retrieval systems  (LCSH)

Logic design  (LCSH)

Multimedia systems  (LCSH)

Software engineering  (LCSH)

Computer Science 

Computer Communication Networks 

Information Storage and Retrieval 

Logics and Meanings of Programs 

Multimedia Information Systems 

Software Engineering 

User Interfaces and Human Computer Interaction 

Keyword

Springer eBooks