The Handbook of formal methods in human-computer interaction (Record no. 41443)

MARC details
000 -LEADER
fixed length control field 01653nam a22002177a 4500
003 - CONTROL NUMBER IDENTIFIER
control field PILC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20201015081759.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 201015b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-3-319-51838-1
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number Elb 004.0151
Item number H23h 2017
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Weyers, Benjamin, (and 3 others, editors)
245 ## - TITLE STATEMENT
Title The Handbook of formal methods in human-computer interaction
250 ## - EDITION STATEMENT
Edition statement 1st
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Switzerland :
Name of publisher, distributor, etc. Springer International Publishing
Date of publication, distribution, etc. 2017
300 ## - PHYSICAL DESCRIPTION
Extent 575p.
Other physical details PDF, 13.40 MB
520 ## - SUMMARY, ETC.
Summary, etc. 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. <br/>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.<br/>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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element 1. Formal methods(Computer science)--Handbooks,manuals,etc. 2. Human-computer interaction--Handbooks,manuals, etc.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (eds.)
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://b-ok.asia/book/3518086/923817">https://b-ok.asia/book/3518086/923817</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type E-Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Non-fiction Higher Education Department Library Higher Education Department Library Digital Collection 10/15/2020 Free Access(https://b-ok.asia/book/3518086/923817)   Elb 004.0151 H23h 2017 Elb 298 10/15/2020 10/15/2020 E-Books
Santa Isabel College - Manila Library | 210 Taft Avenue, Ermita, Manila, Philippines 1000
Tel. (02) 525-9416 to 19 loc.149 / 127 | E-mail siclibrary@gmail.com