Formal Methods in Human-Computer Interaction
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.
-
Utgivelsesdato:
23.07.2009
-
ISBN/Varenr:
9780521448673
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press
-
Fagtema:
Data- og informasjonsteknologi
-
Litteraturtype:
-
Sider:
344
-
Høyde:
16.9 cm
-
Bredde:
24.2 cm
Andre bøker i samme serie
Cognitive Ergonomics and Human-Computer Interaction
9780521204842 Cambridge Series on Human-Computer Interaction Heftet
28.07.2011
Engelsk
Produseres på bestilling
The Reactive Keyboard
9780521144766 Cambridge Series on Human-Computer Interaction Heftet
24.06.2010
Engelsk
Produseres på bestilling
A Theory of Computer Semiotics : Semiotic Approaches to Construction and Assessment of Computer Systems
9780521448680 Cambridge Series on Human-Computer Interaction Heftet
28.04.1997
Engelsk
Produseres på bestilling
Information Seeking in Electronic Environments
9780521586740 Cambridge Series on Human-Computer Interaction Heftet
13.03.1997
Engelsk
Produseres på bestilling
Designing Interaction : Psychology at the Human-Computer Interface
9780521409216 Cambridge Series on Human-Computer Interaction Heftet
28.06.1991
Engelsk
Produseres på bestilling