Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers ... Notes in Computer Science (1946), Band 1946)

International

von: Philippe Palanque · Fabio Paternò

Taschenbuch

ISBN-13: 978-3-540-41663-0

ISBN-10: 3-540-41663-3

Springer · 2009