An edition of Formal methods in human-computer interaction (1990)

Formal methods in human-computer interaction

by

Cover of: Formal methods in human-computer interaction by Harold Thimbleby
Preview
Borrow

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
March 19, 2025 | History
Edit
An edition of Formal methods in human-computer interaction (1990)

Formal methods in human-computer interaction

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
323

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Human-computer interaction, Computers, social aspects, Formal methods (Computer science), Computers, Computer software, Human factors
Edition Availability
Cover of: Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
2009, University of Cambridge ESOL Examinations
in English
Cover of: Formal methods in human-computer interaction
Formal methods in human-computer interaction
1990, Cambridge University Press
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [297]-316) and index.

Published in
Cambridge, New York
Series
Cambridge series on human-computer interaction ;, 2

Classifications

Dewey Decimal Class
004/.01/9
Library of Congress
QA76.9.H85 F67 1990

The Physical Object

Pagination
xvii, 323 p. :
Number of pages
323

Edition Identifiers

Open Library
OL2225969M
Internet Archive
formalmethodsinh0000unse
ISBN 10
052137202X
LCCN
89070873
OCLC/WorldCat
20758392
LibraryThing
7817296
Goodreads
3304408

Work Identifiers

Work ID
OL17974815W

Source records

Scriblio MARC record
Library of Congress MARC record
OpenLibraries-Trent-MARCs record
Internet Archive item record
Better World Books record
Library of Congress MARC record
marc_columbia MARC record
Harvard University record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 19, 2025 Edited by MARC Bot import existing book
July 25, 2024 Edited by MARC Bot import existing book
November 9, 2020 Edited by MARC Bot import existing book
July 31, 2020 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record