Interactive Systems : Design, Specification, and Verification - 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 2000, Revised Papers

ISBN
9783540416630
$99.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2001
  • x, 258
  • Yes
  • 1946
  • Print
  • QA75.5-76.95