株式会社極東書店
🔍
ログイン 会員登録

株式会社極東書店トップ ＞ 商品一覧 ＞ The Handbook of Formal Methods in Human-Computer Interaction. 1st ed. 2017

商品詳細

The Handbook of Formal Methods in Human-Computer Interaction. 1st ed. 2017

The Handbook of Formal Methods in Human-Computer Interaction. 1st ed. 2017

・ISBN 978-3-319-51837-4 hard EUR 299.99

￥80,186.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。

お気に入り ★★★

カートに入れる

著者・編者Weyers, Benjamin / Bowen, Judy / Dix, Alan / Palanque, Philippe (eds.),
シリーズ (Human-Computer Interaction Series)
出版社 (Springer International Publishing AG, SZ)
出版年月2017
ページ数575 pp.
言語ENG
ニュース番号＜A05-19357＞

解説

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.