{"product_id":"the-handbook-of-formal-methods-in-human-computer-interaction-9783319847542","title":"The Handbook of Formal Methods in Human-Computer Interaction","description":"\u003cp\u003e • Author(s): Benjamin Weyers\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: User Interfaces\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis 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. \u003c\/p\u003e \u003cp\u003eWorld-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 a presenting current trends and gaps in research and future opportunities and developments within this emerging field.\u003c\/p\u003e \u003ci\u003eThe Handbook of Formal Methods in Human Computer Interaction\u003c\/i\u003e is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.","brand":"Springer","offers":[{"title":"Paperback","offer_id":45276433973399,"sku":"9783319847542","price":22035.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319847542.webp?v=1769285644","url":"https:\/\/atlanticbooks.com\/products\/the-handbook-of-formal-methods-in-human-computer-interaction-9783319847542","provider":"Atlantic Books","version":"1.0","type":"link"}