Formal methods in human-computer interaction / edited by Michael Harrison and Harold Thimbleby.
| Other author | Harrison, M. D. (Michael D.) |
| Other author | Thimbleby, Harold. |
| Format | Book |
| Publication Info | Cambridge ; New York : Cambridge University Press, 1990. |
| Description | xvii, 323 pages : illustrations ; 25 cm. |
| Subjects |
| Series | Cambridge series on human-computer interaction ; 2 Cambridge series on human-computer interaction ; 2. ^A253305 |
| Bibliography note | Includes bibliographical references (p. [297]-316) and index. |
| LCCN | 89070873 |
| ISBN | 052137202X |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.H85 F67 1990 | ✔ Available | Place Hold |