Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Notes in Computer Science (2844), Band 2844)

von: Joaquim A. Jorge · Nuno Jardim Nunes · Joao Falcao e Cunha Taschenbuch Details (Deutschland) ISBN: 978-3-540-20159-5 ISBN-10: 3-540-20159-9 Springer · 2003