Cover Image

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefu...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Graham, T. C. Nicholas. (Editor, http://id.loc.gov/vocabulary/relators/edt), Palanque, Philippe. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering ; 5136
Subjects:
User interfaces (Computer systems).
Computer communication systems.
Software engineering.
Multimedia information systems.
Information storage and retrieval.
User Interfaces and Human Computer Interaction.
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Multimedia Information Systems.
Information Storage and Retrieval.
Software Engineering.
Online Access:https://doi.org/10.1007/978-3-540-70569-7

Internet

https://doi.org/10.1007/978-3-540-70569-7

Similar Items