Interactive Systems. Design Specification

and Verification : 12th International WorkshopDSVIS 2005Newcastle upon TyneUKJuly 13-152005Revi

Printed Book
SR 367
Inclusive of VAT
Sold as: EACH
SR22Per Month/24 months
Author:Gilroy, Stephen W.
Date of Publication: 2006
Book classification:Computer & TechnologyEnglish Books,
No. of pages:286 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR367
Incl. VAT

Choose your delivery preference

Or

About this Product

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.

Show more

Specifications

SKU9783540341451
Manufacturer Number9783540341451
year published2006
Show more

Report an issue with this product.

Customer Reviews