The Handbook of Formal Methods in Human-Computer Interaction
Produktnummer:
181a0b85e610d643ef9147bacd48bd85aa
| Themengebiete: | HCI Interactive systems formal description techniques task modeling verification of properties |
|---|---|
| Veröffentlichungsdatum: | 03.05.2017 |
| EAN: | 9783319518374 |
| Sprache: | Englisch |
| Seitenzahl: | 575 |
| Produktart: | Gebunden |
| Herausgeber: | Bowen, Judy Dix, Alan Palanque, Philippe Weyers, Benjamin |
| Verlag: | Springer International Publishing |
Produktinformationen "The Handbook of Formal Methods in Human-Computer Interaction"
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field.The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen