Formal methods in human-computer interaction
By: edited by Michael Harrison and Harold Thimbleby.
Contributors: Harrison, M. D.; Thimbleby, Harold.
Series: Cambridge series on human-computer interaction ;; 2
Publisher: Cambridge University Press
Published: 1990
Place of publication: Cambridge; New York
Language: eng
Number of pages: 323
Subjects: Human-computer interaction; Formal methods (Computer science)
Notes: Includes bibliographical references (p. [297]-316) and index.