Formal methods in human-computer interaction

Author(s)

• Harrison, M. D. (Michael D.)
• Thimbleby, Harold

Bibliographic Information

Formal methods in human-computer interaction

edited by Michael Harrison and Harold Thimbleby

（Cambridge series on human-computer interaction, 2）

Cambridge University Press, 1990

Note

Bibliography: p. [297]-316

Details

• NCID: BA09802151
• ISBN:
  • 052137202X
• LCCN: 89070873
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge ; New York
• Pages/Volumes: xvii, 323 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.9.H85
  • DC20 : 004/.01/9
• Subject Headings:
  • LCSH : Human-computer interaction
• Parent Bibliography ID:
  • BA0752067X