Pre-Owned Lecture Notes in Computer Science: Interactive Systems: Design Specification and Verification: 8th International Workshop Dsv-Is 2001. Glasgow Scotland Uk June 13-15 2001. Revised Papers (Paper

Pre-Owned Lecture Notes in Computer Science: Interactive Systems: Design Specification and Verification: 8th International Workshop Dsv-Is 2001. Glasgow Scotland Uk June 13-15 2001. Revised Papers (Paper

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design Specification and Verification of Interactive Systems DSV-IS 2001 held in Glasgow Scotland UK in June 2001. The 12 revised full papers...


Walmart

$69.78
Free Delivery

Go to store
Items per page