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.