Cover Image

Interactive systems design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /

Annotation 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...

Full description

Corporate Authors: DSV-IS 2008 Kingston, Ont.)
Other Authors: DSV-IS 2008, Graham, T. C. Nicholas 1964-, Palanque, Philippe, 1966-, SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, [2008]
Physical Description: 1 online resource (ix, 309 pages) : illustrations (some color).
Series: Lecture notes in computer science ; 5136.
LNCS sublibrary. Programming and software engineering.
Subjects: