Formal Methods in Human-Computer Interaction

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

Szerző: Michael Harrison, Harold Thimbleby

Nyelv:

Kötés: Puha kötésű

Kiadó: Cambridge University Press

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

23 300 Ft

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

Információk a könyvről

Szerző

Michael Harrison, Harold Thimbleby

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2009

oldal

344

EAN

9780521448673

ISBN

0521448670

Enbook ID

02031239

Kiadó

Cambridge University Press

Súly

600

Méretek

242 x 169 x 22

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods in Human-Computer Interaction

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták