An edition of Formal methods in human-computer interaction (1998)
Formal methods in human-computer interaction
By Philippe Palanque
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1998
Publisher
Springer
Language
eng
Pages
376
Description:
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