ISBN 9783540695530 books & textbook

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323)

Doherty, Gavin Blandford, Ann

Springer /2007-01-18 Paperback / 287 Pages
isbn-10: 3540695532 / isbn-13: 9783540695530