Formal Methods in Human-Computer Interaction

Name: Formal Methods in Human-Computer Interaction
Brand: Cambridge University Press
SKU: 9780521448673
Price: 61.18 EUR
Availability: InStock

Автор: Michael Harrison, Harold Thimbleby

Език:

Корици: С меки корици

Издател: Cambridge University Press

Наличност: Външен склад

Изпращаме след 9-15 дни

61.18 € 119.65 лв

First published in 1990, this book discusses the application of formal methods to the human-computer...

Информация за книгата

Автор

Michael Harrison, Harold Thimbleby

Език

Английски език

Корици

Книга - С меки корици

Издадена

2009

страници

344

EAN

9780521448673

ISBN

0521448670

Enbook ID

02031239

Издател

Cambridge University Press

Теглоt

600

Размери

242 x 169 x 22

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods in Human-Computer Interaction

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също