Interactive Systems. Design, Specification, and Verification
Gilroy, Stephen W.
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540341468
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.
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540341468
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.