Interactive Systems - Design, Specification and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 2005, Revised Papers

ISBN
9783540341451
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2006
  • xii, 276
  • Yes
  • 3941
  • Combination of Multiple Bindings
  • QA75.5-76.95