Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revis by Stephen W. GilroyInteractive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revis by Stephen W. Gilroy

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS…

byStephen W. GilroyEditorMichael D. Harrison

Paperback | May 15, 2006

Pricing and Purchase Info

$117.50

Earn 588 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
Title:Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS…Format:PaperbackDimensions:276 pages, 22.9 × 15.2 × 0.01 inPublished:May 15, 2006Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540341455

ISBN - 13:9783540341451

Look for similar items by category:

Reviews