Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, ... Notes in Computer Science (3941), Band 3941)

von Stephen W. Gilroy Taschenbuch Details (Deutschland) ISBN: 978-3-540-34145-1 ISBN-10: 3-540-34145-5 Springer Berlin Heidelberg · 2008