Cover Image

Formal methods in human-computer interaction /

Show other versions (1)
Bibliographic Details
Other Authors: Palanque, Philippe, 1966-, Paternò, Fabio, 1960-
Format: Book
Language:English
Published: London ; New York : Springer, [1998]
Series:Formal approaches to computing and information technology.
Subjects:
Human-computer interaction.
Description
Physical Description:xvii, 376 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [347]-361) and indexes.
ISBN:3540761586 (Berlin : pbk. : acid-free paper)