Formal Methods in Human-Computer Interaction |
|
Editor:
| Harrison, Michael Thimbleby, Harold |
Series title: | Cambridge Series on Human-Computer Interaction Ser. |
ISBN: | 978-0-521-44867-3 |
Publication Date: | Jul 2009 |
Publisher: | Cambridge University Press
|
Book Format: | Paperback |
List Price: | USD $52.99 |
Book Description:
|
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.
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.