by Michael Harrison (Author)
First published in 1990, this book discusses the application of formal methods to the human-computer interface.
Format: Paperback
Pages: 344
Edition: Reissue
Publisher: Cambridge University Press
Published: 20 Apr 2009
ISBN 10: 0521448670
ISBN 13: 9780521448673