The Handbook of Formal Methods in Human-Computer Interaction



de

, , ,

Éditeur :

Springer


Collection :

Human–Computer Interaction Series

Paru le : 2017-04-24



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
336,54

Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description
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.
Pages
575 pages
Collection
Human–Computer Interaction Series
Parution
2017-04-24
Marque
Springer
EAN papier
9783319518374
EAN PDF
9783319518381

Informations sur l'ebook
Nombre pages copiables
5
Nombre pages imprimables
57
Taille du fichier
19855 Ko
Prix
336,54 €
EAN EPUB
9783319518381

Informations sur l'ebook
Nombre pages copiables
5
Nombre pages imprimables
57
Taille du fichier
9359 Ko
Prix
336,54 €