Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised ... Notes in Computer Science (4323), Band 4323)
von
Gavin Doherty
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-69553-0
ISBN-10: 3-540-69553-2
Springer
· 2007
