> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Formal methods in human-computer interaction Beteiligte: Palanque, Philippe [Hrsg.]; Paternò, Fabio [Sonstige Person, Familie und Körperschaft] Erschienen: London; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Formal approaches to computing and information technology - FACIT Umfang: xvii, 376 Seiten; Illustrationen, Diagramme; 24 cm Sprache: Englisch ISBN: 9783540761587; 3540761586 RVK-Notation: ST 278 : Mensch-Maschine-Kommunikation Software-Ergonomie Schlagwörter: Benutzeroberfläche > Formale Spezifikationstechnik World Wide Web > Algebraische Spezifikation Mensch-Maschine-Kommunikation Entstehung: Anmerkungen: Literaturverz. S. [347] - 361
Bereichsbibliothek DrePunct – Magazin Signatur: R2015 8 5039 Barcode: 10429690 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.
Bereichsbibliothek DrePunct Signatur: ST 278 P154 Barcode: 32348054 Status: Verfügbarkeit bitte in Prof Prozessleittechnik erfragen.