Formal Methods in Human-Computer Interaction

Name: Formal Methods in Human-Computer Interaction
Brand: Cambridge University Press
SKU: 9780521448673
Price: 8650 KES
Availability: OutOfStock
ISBN: 9780521448673

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,650.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

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.

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). 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. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.

Get Formal Methods in Human-Computer Interaction by Harold Thimbleby 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 344 pages.