opac-header

Formal method in human computer interaction

Formal method in human computer interaction - Cambridge: Cambridge University Press, 1990 - xv, 323p.

0-521-37202-X


Computer science

Computer interaction

D 007 / N0