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): 2220

More Information

Format: Paperback
Pages: 236
Edition: 2001
Publisher: Springer
Published: 28 Nov 2001
ISBN 10: 3540428070
ISBN 13: 9783540428077