Formal Methods in Human-Computer Interaction
Thimbleby, Harold Harrison, Michael
Cambridge Series on Human-Computer Interaction
|
Heftet
Produseres på bestilling
Leveringstid: 2-4 uker
Handlinger
Beskrivelse
Omtale
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.
Detaljer
-
Utgivelsesdato:
23.07.2009
-
ISBN/Varenr:
9780521448673
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press
-
Fagtema:
Data- og informasjonsteknologi
-
Serie:
Cambridge Series on Human-Computer Interaction
-
Litteraturtype:
-
Sider:
344
-
Høyde:
16.9 cm
-
Bredde:
24.2 cm
