Formal methods in human-computer interaction /
Formal methods in human-computer interaction /
edited by Michael Harrison and Harold Thimbleby.
- Cambridge ; New York : Cambridge University Press, 1990.
- xvii, 323 p. : ill. ; 25 cm.
- Cambridge series on human-computer interaction ; 2 .
Includes bibliographical references (p. [297]-316) and index.
052137202 0330261401
Human-computer interaction.
Formal methods (Computer science)
QA76.9.H85 / F67 1990
Includes bibliographical references (p. [297]-316) and index.
052137202 0330261401
Human-computer interaction.
Formal methods (Computer science)
QA76.9.H85 / F67 1990