Interactive Systems. Design, Specification, and

Interactive Systems. Design, Specification, and Verification: 13th Inteational Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised .. / Programming and Software Engineering)

Hardcover: 269 pages

Publisher: Springer (January 18, 2007)

Language: English

ISBN-10: 3540695532