English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Formal methods in human-computer interaction
Information
Publications
Export
Statistics
Options
Title
Formal methods in human-computer interaction
Titel Supplements
Outgrowth of the activities of the Human Computer Interaction Group at York
Verlag
Cambridge University Press
Verlagsort
Cambridge
Datum
1990
Serie
Cambridge series on human-computer interaction
ISBN
0-521-37202-X