Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jorge, Joaquim (Editor, http://id.loc.gov/vocabulary/relators/edt), Jardim Nunes, Nuno (Editor, http://id.loc.gov/vocabulary/relators/edt), Falcao e Cunha, Joao (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Edition: 1st ed. 2003.
• Series: Lecture Notes in Computer Science, 2844
• Subjects: Computers.; User interfaces (Computer systems).; Computer communication systems.; Software engineering.; Computer logic.; Information storage and retrieval.; Theory of Computation.; User Interfaces and Human Computer Interaction.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Information Storage and Retrieval.

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented t...