Interactive Systems. Design, Specification, and Verification
Jorge, Joaquim A.
Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers / edited by Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540399292
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Information storage and retrieval systems.; Multimedia systems.; Computer Science.; User Interfaces and Human Computer Interaction.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Information Storage and Retrieval.; Multimedia Information Systems.
Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers / edited by Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540399292
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Information storage and retrieval systems.; Multimedia systems.; Computer Science.; User Interfaces and Human Computer Interaction.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Information Storage and Retrieval.; Multimedia Information Systems.