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

Price loading...

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

Name: The Handbook of Formal Methods in Human-Computer Interaction (Human-Computer Interaction Series)
Brand: Springer

Interface Design

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3319518372
Category: Books > Subjects > Computing & Internet > Programming > Interface Design
Domain: Amazon UK
Release Date: 03 May 2017
Listed Since: 30 November 2016

Barcode

No barcode data available

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

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Handbook of Research on Human-Computer Interfaces and New Modes of Interactivity (Advances in Computational Intelligence and Robotics)

Artificial Intelligence for Human Computer Interaction: A Modern Approach (Human–Computer Interaction Series)

Research Methods in Human-Computer Interaction

Game User Experience Evaluation (Human–Computer Interaction Series)

Game User Experience Evaluation (Human–Computer Interaction Series)

Ways of Knowing in HCI

Ways of Knowing in HCI

Interactivity and the Future of the Human-Computer Interface (Advances in Computational Intelligence and Robotics)

Handbook of Usability and User-Experience (UX), 2-Volume Set: Methods and Techniques / Research and Case Studies

Encyclopedia of Human Computer Interaction

Springer Maturing Usability - Human-Computer Interaction Book

Handbook of Usability and User-Experience: Methods and Techniques: 1

Psychology Press - An Introduction To Human-Computer Interaction

Human-Computer Interaction Fundamentals (Human Factors and Ergonomics)

Human Movements in Human-Computer Interaction (HCI): 996 (Studies in Computational Intelligence, 996)

Formal Analysis for Natural Language Processing: A Handbook

Cross-disciplinary Advances in Human Computer Interaction: User Modeling, Social Computing, and Adaptive Interfaces (Premier Reference Source)

The Art and Science of Interface and Interaction Design (Vol. 1): 141 (Studies in Computational Intelligence, 141)

Handbook of Usability and User-Experience: Methods and Techniques

Springer Human Behaviour Analysis Using Intelligent Systems

Human-Computer Interaction: An Empirical Research Perspective

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Patterns of HCI Design and HCI Design of Patterns: Bridging HCI Design and Model-Driven Software Engineering (Human–Computer Interaction Series)