Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction - Michael Harrison - Books - Cambridge University Press - 9780521448673 - July 23, 2009
In case cover and title do not match, the title is correct

Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction

Michael Harrison

Price
SFr. 52.99
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 19 - Dec 2
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction

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.

344 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 23, 2009
ISBN13 9780521448673
Publishers Cambridge University Press
Pages 344
Dimensions 242 × 169 × 22 mm   ·   600 g
Language English  
Editor Harrison, Michael
Editor Thimbleby, Harold
Show all

More by Michael Harrison

See all of Michael Harrison ( e.g. Paperback Book , Hardcover Book and CD )