Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gilroy, Stephen W. (Επιμελητής έκδοσης), Harrison, Michael D. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3941
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computers.; Computer logic.; Information storage and retrieval.; User interfaces (Computer systems).; Computer Science.; Theory of Computation.; User Interfaces and Human Computer Interaction.; Information Storage and Retrieval.; Software Engineering.; Logics and Meanings of Programs.; Computer Communication Networks.