Gilroy, Stephen W.
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / [electronic resource] : edited by Stephen W. Gilroy, Michael D. Harrison. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3941 0302-9743 ; . - Lecture Notes in Computer Science, 3941 .
9783540341468
10.1007/11752707 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information storage and retrieval systems.
Computer Science.
User Interfaces and Human Computer Interaction.
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 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / [electronic resource] : edited by Stephen W. Gilroy, Michael D. Harrison. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3941 0302-9743 ; . - Lecture Notes in Computer Science, 3941 .
9783540341468
10.1007/11752707 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information storage and retrieval systems.
Computer Science.
User Interfaces and Human Computer Interaction.
Information Storage and Retrieval.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
QA76.9.U83 QA76.9.H85
005.437 4.019