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
© The University of Dodoma 2020