Interactive Systems Design, Specification, and Verification
Palanque, Philippe.
Interactive Systems Design, Specification, and Verification 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540446750
Computer science.; Software engineering.; Logic design.; Computer graphics.; Computer Science.; User Interfaces and Human Computer Interaction.; Computer Graphics.; Software Engineering.; Logics and Meanings of Programs.
Interactive Systems Design, Specification, and Verification 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5-6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540446750
Computer science.; Software engineering.; Logic design.; Computer graphics.; Computer Science.; User Interfaces and Human Computer Interaction.; Computer Graphics.; Software Engineering.; Logics and Meanings of Programs.