22353481
9780521448673
Formal Methods in Human-Computer Interaction
by Harrison, Michael, Thimbleby, Harold
31245
About this item
- Condition: New
- Provider: LightningBooks
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780521448673
- ISBN: 0521448670
- Publication Date: 2009
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
First published in 1990, this book discusses the application of formal methods to the human-computer interface. Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest.Harrison, Michael is the author of 'Formal Methods in Human-Computer Interaction', published 2009 under ISBN 9780521448673 and ISBN 0521448670.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
