Interactive Systems:Design, Specification, and Verification
Forbrig, Peter.
Interactive Systems:Design, Specification, and Verification 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers / edited by Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540362357
Computer science.; Software engineering.; Logic design.; Information storage and retrieval systems.; Computer Science.; Computer Science, general.; Software Engineering.; Logics and Meanings of Programs.; Information Storage and Retrieval.; User Interfaces and Human Computer Interaction.
Interactive Systems:Design, Specification, and Verification 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers / edited by Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540362357
Computer science.; Software engineering.; Logic design.; Information storage and retrieval systems.; Computer Science.; Computer Science, general.; Software Engineering.; Logics and Meanings of Programs.; Information Storage and Retrieval.; User Interfaces and Human Computer Interaction.