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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jorge, Joaquim (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Jardim Nunes, Nuno (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Falcao e Cunha, Joao (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2844
• Θέματα: 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...