Media type: Book Title: Formal methods in human-computer interaction Contributor: Palanque, Philippe [Hrsg.]; Paternò, Fabio [Other] imprint: London; Heidelberg [u.a.]: Springer, 1998 Published in: Formal approaches to computing and information technology - FACIT Extent: xvii, 376 Seiten; Illustrationen, Diagramme; 24 cm Language: English ISBN: 9783540761587; 3540761586 RVK notation: ST 278 : Mensch-Maschine-Kommunikation Software-Ergonomie Keywords: Benutzeroberfläche > Formale Spezifikationstechnik World Wide Web > Algebraische Spezifikation Mensch-Maschine-Kommunikation Origination: Footnote: Literaturverz. S. [347] - 361
Departmental Library DrePunct – stack Shelf-mark: R2015 8 5039 Item ID: 10429690 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order
Departmental Library DrePunct Shelf-mark: ST 278 P154 Item ID: 32348054 Status: Verfügbarkeit bitte in Prof Prozessleittechnik erfragen.