Formal methods in human-computer interaction - Info and Reading Options
By Philippe Palanque
"Formal methods in human-computer interaction" was published by Springer in 1998 - London, it has 376 pages and the language of the book is English.
“Formal methods in human-computer interaction” Metadata:
- Title: ➤ Formal methods in human-computer interaction
- Author: Philippe Palanque
- Language: English
- Number of Pages: 376
- Publisher: Springer
- Publish Date: 1998
- Publish Location: London
“Formal methods in human-computer interaction” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Human-computer interaction - World Wide Web - Interfaces utilisateur (informatique) - Mensch-Maschine-Kommunikation - Interaction homme-ordinateur - Algebraische Spezifikation - Formale Spezifikationstechnik - Benutzeroberfläche - Processamento grafico (graphics) - Aufsatzsammlung - Computer software - Human factors
Edition Specifications:
- Pagination: xvii, 376 p. :
Edition Identifiers:
- The Open Library ID: OL681137M - OL19605050W
- Online Computer Library Center (OCLC) ID: 37315334
- Library of Congress Control Number (LCCN): 97027729
- ISBN-13: 9783540761587
- ISBN-10: 3540761586
- All ISBNs: 3540761586 - 9783540761587
AI-generated Review of “Formal methods in human-computer interaction”:
Read “Formal methods in human-computer interaction”:
Read “Formal methods in human-computer interaction” by choosing from the options below.
Search for “Formal methods in human-computer interaction” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal methods in human-computer interaction” in Libraries Near You:
Read or borrow “Formal methods in human-computer interaction” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal methods in human-computer interaction” at a library near you.
Buy “Formal methods in human-computer interaction” online:
Shop for “Formal methods in human-computer interaction” on popular online marketplaces.
- Ebay: New and used books.