Formal methods in human-computer interaction /
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 implementation, and whether formal methods can offer useful...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
London ; New York :
Springer,
[1998]
|
| Series: | Formal approaches to computing and information technology.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
