Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science, Band 5136)

von: T. C. Nicholas Graham · Philippe Palanque Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-70568-0 ISBN-10: 3-540-70568-6 Springer · 2008