Formal methods in human computer interaction /
Formal methods in human computer interaction /
edited by Michael Harrison and Harold Thimbleby
- Cambridge : Cambridge University Press, 2009
- xi, 323 p. : ill. ; 26 cm.
- Cambridge series on human-computer interaction 2 .
- Cambridge series on human-computer interaction 2 .
First published 1990
Includes bibliographical references and index
9780521448673 (pbk.)
Human--Computer interaction
First published 1990
Includes bibliographical references and index
9780521448673 (pbk.)
Human--Computer interaction