Formal methods in human computer interaction
Philippe Palanque ... (ed.)
| Year of publication: |
1998
|
|---|---|
| Other Persons: | Palanque, Philippe (contributor) |
| Publisher: |
London [u.a.] : Springer |
| Subject: | Benutzeroberfläche | Formale Spezifikationstechnik | Aufsatzsammlung | World Wide Web | Algebraische Spezifikation |
| Description of contents: | Table of Contents [digitool.hbz-nrw.de] |
| Extent: | XVII, 376 : graph. Darst. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| ISBN: | 3-540-76158-6 |
| Classification: | Rechnerperipherie, Datenkommunikationshardware ; Informatik in Beziehung zu Mensch und Gesellschaft ; Arbeitswissenschaft |
| Source: |
Persistent link: https://www.econbiz.de/10004322123