Formal Methods in Human-Computer Interaction by

Human-Computer Interaction

Formal Methods in Human-Computer Interaction

376 pages paperback

2 editions

nonfiction computer science mathematics medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and impleme...

Show More

Community Reviews

Loading...

Content Warnings

Loading...