Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science)
Format: kindle
ASIN: B000PY4HHS
Publish date: February 22nd 2009
Publisher: Springer
Pages no: 258
Edition language: English