Interactive Systems: Design, Specification, and Verification: 9th International Workshop, Dsv-Is 2002, Rostock Germany, June 12-14, 2002

By Peter Forbrig

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540002669
• ISBN13: 9783540002666
• Release Date: December 2002
• Publisher: Springer
• Length: 274 Pages
• Weight: 0.94 lbs.
• Dimensions: 0.6" x 6.2" x 9.3"