Vista normal Vista MARC Vista ISBD

Formal methods in human-computer interaction / Philippe Palanque and Fabio Paterno, eds. - xvii, 376 páginas : ilustraciones ; - Formal approaches to computing and information technology .

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

ISBN: 3540761586 (rustica : papel libre de acido)

Subjects--Topical Terms:
Interacción hombre-computadora

LC Class. No.: QA76.9H85 / F674

Dewey Class. No.: 004/.01/9