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

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

by Michael Harrison (Author)

Synopsis

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

$43.90

Save:$1.88 (4%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 344
Edition: Reissue
Publisher: Cambridge University Press
Published: 20 Apr 2009

ISBN 10: 0521448670
ISBN 13: 9780521448673