Doherty, Gavin.
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / [electronic resource] : edited by Gavin Doherty, Ann Blandford. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4323 0302-9743 ; . - Lecture Notes in Computer Science, 4323 .
9783540695547
10.1007/978-3-540-69554-7 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information storage and retrieval systems.
Multimedia systems.
Computer Science.
User Interfaces and Human Computer Interaction.
Multimedia Information Systems.
Information Storage and Retrieval.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
QA76.9.U83 QA76.9.H85
005.437 4.019
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / [electronic resource] : edited by Gavin Doherty, Ann Blandford. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4323 0302-9743 ; . - Lecture Notes in Computer Science, 4323 .
9783540695547
10.1007/978-3-540-69554-7 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information storage and retrieval systems.
Multimedia systems.
Computer Science.
User Interfaces and Human Computer Interaction.
Multimedia Information Systems.
Information Storage and Retrieval.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
QA76.9.U83 QA76.9.H85
005.437 4.019