Formal methods in human-computer interaction
By: Philippe Palanque and Fabio Paternò, eds.
Contributors: Palanque, Philippe, 1966-; Paternò, Fabio, 1960-
Series: Formal approaches to computing and information technology
Publisher: Springer
Published: 1998
Place of publication: London; New York
Language: eng
Number of pages: 376
Subjects: Human-computer interaction.; Formal methods (Computer science)
Notes: Includes bibliographical references (p. [347]-361) and indexes.