Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science)

von Chris J. Johnson Springer Berlin Heidelberg · 2001 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN: 978-3-540-42807-7 ISBN-10: 3-540-42807-0