Scan barcode
376 pages • missing pub info (editions)
ISBN/UID: 9783540761587
Format: Paperback
Language: English
Publisher: Springer
Publication date: 29 October 1997
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...
Community Reviews
Content Warnings
376 pages • missing pub info (editions)
ISBN/UID: 9783540761587
Format: Paperback
Language: English
Publisher: Springer
Publication date: 29 October 1997
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...
Community Reviews
Content Warnings