Formal methods in human-computer interaction :: ISBN 052137202X :: Cambridge University Press 1990 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal methods in human-computer interaction
Contributors M. D. Harrison, Harold Thimbleby
Publisher Cambridge University Press
Publication date 1990
Publication location Cambridge
Language English

Descriptive Notes

Bibliography: p297-316. - Includes index.

Topics

Human-computer interaction
Formal methods (Computer science)

Catalogue Data

OBNB ID GB8959045
ISBN 10 052137202X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.019

ISBD

P1053 xvii,323p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal methods in human-computer interaction. ISBN 052137202X. Published by Cambridge University Press in 1990. Publication and catalogue information, links to buy online and reader comments.