Description: Formal Methods in Human-Computer Interaction, Paperback by Harrison, Michael (EDT); Thimbleby, Harold (EDT), ISBN 0521448670, ISBN-13 9780521448673, Brand New, Free shipping in the US 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.
Price: 66.07 USD
Location: Jessup, Maryland
End Time: 2024-11-21T15:54:18.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Formal Methods in Human-Computer Interaction
Author: Harrison, Michael (EDT); Thimbleby, Harold (EDT)
Language: english
![Software Engineering and Formal Methods - by Radu Calinescu [English]](https://i.ebayimg.com/images/g/~4IAAOSwbRhlG6eT/s-l600.webp)
