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)

Specification

von: Joaquim A. Jorge · Nuno Jardim Nunes · Joao Falcao e Cunha

Taschenbuch

ISBN: 978-3-540-20159-5

ISBN-10: 3-540-20159-9

Springer · 2003