ISBN 9783540002666 books & textbook
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science, 2545)
Urban, Bodo Vanderdonckt, Jean Limbourg, Quentin
Springer /2002-12-19 Paperback / 279 Pages
isbn-10: 3540002669 / isbn-13: 9783540002666
