Design, Specification and Verification of Interactive Systems 95: Proceedings of
68,59 €
Invited Talks. - Interaction, Cognition and Visualization. - Formal Specification Techniques for Interactive Systems. - Interacting with Information. - User-Side Modeling and Co-Modeling. - A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications.
Jetzt bei Ebay: