Formal methods in human-computer interaction

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by ImportBot
March 28, 2025 | History

Formal methods in human-computer interaction

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

Publish Date
Publisher
Springer
Language
English
Pages
376

Buy this book

Edition Availability
Cover of: Formal methods in human-computer interaction
Formal methods in human-computer interaction
1998, Springer
in English

Add another edition?

Book Details


Edition Notes

Includes bibliographical references (p. [347]-361) and indexes.

Published in
London, New York
Series
Formal approaches to computing and information technology

Classifications

Dewey Decimal Class
004/.01/9
Library of Congress
QA76.9.H85 F68 1998, QA267-268.5

The Physical Object

Pagination
xvii, 376 p. :
Number of pages
376

Edition Identifiers

Open Library
OL681137M
ISBN 10
3540761586
LCCN
97027729
OCLC/WorldCat
37315334
LibraryThing
795878
Goodreads
1221144

Work Identifiers

Work ID
OL19605050W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 13, 2024 Edited by MARC Bot import existing book
February 26, 2022 Edited by ImportBot import existing book
November 25, 2020 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record