Formal Methods in Human-Computer Interaction Book + PRICE WATCH * Amazon pricing is not included in price watch

Formal Methods in Human-Computer Interaction Book

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.Read More

from£42.58 | RRP: £24.99
* Excludes Voucher Code Discount Also available Used from £102.90
  • 0521448670
  • 9780521448673
  • 23 July 2009
  • Cambridge University Press
  • Paperback (Book)
  • 344
  • 1
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.