"Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Papers " - читать интересную книгу автора (Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha)