Formal Methods in Human-Computer Interaction
Book Details
Format
Paperback / Softback
Book Series
Cambridge Series on Human-Computer Interaction
ISBN-10
0521448670
ISBN-13
9780521448673
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 23rd, 2009
Print length
344 Pages
Weight
600 grams
Dimensions
16.90 x 24.20 x 2.20 cms
Product Classification:
Computer science
Ksh 8,350.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
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.
Get Formal Methods in Human-Computer Interaction by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
