Overview
The book, Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers (Lecture Notes in Computer Science #3941) [Bulk, Wholesale, Quantity] ISBN#9783540341451 in Paperback by may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.Details