000			01653nam a22002177a 4500
999			_c41443 _d41443
003			PILC
005			20201015081759.0
008			201015b ||||| |||| 00| 0 eng d
020			_a978-3-319-51838-1
082			_aElb 004.0151 _bH23h 2017
100			_aWeyers, Benjamin, (and 3 others, editors)
245			_aThe Handbook of formal methods in human-computer interaction
250			_a1st
260			_aSwitzerland : _bSpringer International Publishing _c2017
300			_a575p. _bPDF, 13.40 MB
520			_aThis 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.
650			_a1. Formal methods(Computer science)--Handbooks,manuals,etc. 2. Human-computer interaction--Handbooks,manuals, etc.
700			_aBenjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (eds.)
856			_uhttps://b-ok.asia/book/3518086/923817
942			_2ddc _cEBOOKS