Interactive Systems: Design, Specification, And Verification: 8Th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Uk, June 13-15, 2001. ... Notes in Computer Science (2220), Band 2220)
von
Chris Johnson
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-42807-7
ISBN-10: 3-540-42807-0
Springer
· 2001
