Springer; 1st ed. 2017 basım The Handbook of Formal Methods in Human-Computer Interaction (Human-Computer Interaction Series) - indir bedava kayıt olmadan

The Handbook of Formal Methods in Human-Computer Interaction (Human-Computer Interaction Series)

Bilgisayar Bilimi

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.

---

pdf epub kindle mp3

---

---

Varios Autores 1 Ocak 2017 Springer Kolektif Kollektif Cambridge University Press Peter Lang GmbH, Internationaler Verlag der Wissenschaften 3 Ocak 2017 John Wiley & Sons Inc 4 Ocak 2017 1 Ocak 2018 KOMİSYON 5 Ocak 2017 Cambridge University Press Adalet Yayınevi Springer 18 Haziran 2018 Forgotten Books

---

indir okumak internet üzerinden