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 $55.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.