Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Mai 2018
Genre:	EDV / Informatik
	B / computer science / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Mathematical theory of computation / Software Engineering / Theoretische Informatik / User interfaces (Computer systems) / User Interfaces and Human Computer Interaction mehr...
ISBN:	9783319847542
EAN-Code:	9783319847542
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Human–Computer Interaction Series
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1210 gr
Seiten:	575
Illustration:	XVI, 575 p. 205 illus., 133 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.