Interactive Systems : Design, Specifications, and Verification - 9th International Workshop, DAV-IS 2002, Rostock, Germany, June 12-14, 2002

ISBN
9783540002666
$99.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2002
  • x, 274
  • Yes
  • 2545
  • Print
  • QA75.5-76.95