Graham, T. C. Nicholas.
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / [electronic resource] : edited by T. C. Nicholas Graham, Philippe Palanque. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5136 0302-9743 ; . - Lecture Notes in Computer Science, 5136 .
9783540705697
10.1007/978-3-540-70569-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 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / [electronic resource] : edited by T. C. Nicholas Graham, Philippe Palanque. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5136 0302-9743 ; . - Lecture Notes in Computer Science, 5136 .
9783540705697
10.1007/978-3-540-70569-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