Articles liés à The Handbook of Formal Methods in Human-Computer Interaction
- ÉditeurSpringer International Publishing AG
- Date d'édition2017
- ISBN 10 3319518372
- ISBN 13 9783319518374
- ReliureRelié
- Langueanglais
- Numéro d'édition1
- Nombre de pages575
- ÉditeurWeyers Benjamin, Bowen Judy, Dix Alan, Palanque Philippe
Acheter neuf
Afficher cet article
EUR 294,19
EUR 48,99 expédition depuis Allemagne vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour The Handbook of Formal Methods in Human-Computer Interaction
Image fournie par le vendeur
The Handook of Formal Methods in Human-Computer Interaction
Edité par
Springer International Publishing, 2017
ISBN 10 : 3319518372
ISBN 13 : 9783319518374
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a detailed overview of past, current and future developments of formal methods in HCIIncludes case studies that illustrate various perspectives on, and the use of, formal methods in HCIMaximizes reader understanding  of  t. N° de réf. du vendeur 134145283
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Handbook of Formal Methods in Human-Computer Interaction
Edité par
Springer-Verlag Gmbh Jun 2017, 2017
ISBN 10 : 3319518372
ISBN 13 : 9783319518374
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 575 pp. Englisch. N° de réf. du vendeur 9783319518374
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
The Handbook of Formal Methods in Human-Computer Interaction
Edité par
Springer-Verlag Gmbh, 2017
ISBN 10 : 3319518372
ISBN 13 : 9783319518374
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783319518374
Quantité disponible : 1 disponible(s)