Verwandte Artikel zu The Handbook of Formal Methods in Human-Computer Interaction...
The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series) - Softcover
Críticas
“Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings ... the leading conference in the domain, will make this clear: almost all papers report on carefully crafted, well-designed experiments. ... I enjoyed reading the book ... .” (Jacques Carette, Computing Reviews, January, 22 , 2018)
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag GmbH
- Erscheinungsdatum2018
- ISBN 10 3319847546
- ISBN 13 9783319847542
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten596
- HerausgeberWeyers Benjamin, Palanque Philippe, Dix Alan, Bowen Judy
Neu kaufen
Diesen Artikel anzeigen
EUR 294,19
EUR 48,99 für den Versand von Deutschland nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für The Handbook of Formal Methods in Human-Computer Interaction...
Foto des Verkäufers
The Handbook of Formal Methods in Human-Computer Interaction
Verlag:
Springer International Publishing, 2018
ISBN 10: 3319847546
ISBN 13: 9783319847542
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 458625073
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
The Handbook of Formal Methods in Human-Computer Interaction
ISBN 10: 3319847546
ISBN 13: 9783319847542
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. 596 pp. Englisch. Bestandsnummer des Verkäufers 9783319847542
Anzahl: 2 verfügbar
Foto des Verkäufers
The Handbook of Formal Methods in Human-Computer Interaction
ISBN 10: 3319847546
ISBN 13: 9783319847542
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783319847542
Anzahl: 1 verfügbar