LEADER 00000nam 2200241 a 4500
001 0924708
007 t
008 001004 1 1990 000 eng
020 052137202X
040 CURLBL
050 4 QA 76.9 H85 F7
245 00 Formal methods in human computer interaction /|cedited by
Michael Harrison and Harold Thimbleby.
260 Cambridge :|bCambridge University Press,|c1990.
300 323p.
440 0 Cambridge series on human-computer interaction ;|v2
650 0 Human-computer interaction.
700 1 Harrison, Michael D.
700 1 Thimbleby, Harold.
|