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)
von:
Philippe Palanque
·
Fabio Paternò
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-41663-0
ISBN-10: 3-540-41663-3
Springer
· 2009
