Items related to Formal Methods in Human-Computer Interaction: 2 (Cambridge...

Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2) - Softcover

Harrison, Michael

 
9780521448673: Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)
Softcover
ISBN 10: 0521448670 ISBN 13: 9780521448673
Publisher: Cambridge University Press, 2009

Synopsis

First published in 1990, this book discusses the application of formal methods to the human-computer interface.

"synopsis" may belong to another edition of this title.

Product Description

Formal Methods in Human-Computer Interaction First published in 1990, this book discusses the application of formal methods to the human-computer interface. Full description

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.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2009
Language
English
ISBN 10 
0521448670
ISBN 13 
9780521448673
Binding
Paperback
Number of pages
344