MARC details
000 -LEADER |
fixed length control field |
02084nam a22003255i 4500 |
001 - CONTROL NUMBER |
control field |
40292 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
0000000000 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240411192949.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
161223s2017 nyu s 000 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2016963425 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783319518374 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
19422710 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
DLC |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
DLC |
042 ## - AUTHENTICATION CODE |
Authentication code |
pcc |
245 04 - TITLE STATEMENT |
Title |
The handbook of formal methods in human-computer interaction / |
Statement of responsibility, etc. |
[edited by] Benjamin Weyers; Judy Bowen; Alan Dix; Philippe Palanque. |
263 ## - PROJECTED PUBLICATION DATE |
Projected publication date |
1703 |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
New York, NY : |
Name of producer, publisher, distributor, manufacturer |
Springer Berlin Heidelberg, |
Date of production, publication, distribution, manufacture, or copyright notice |
2017. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
pages cm. |
336 ## - CONTENT TYPE |
Content type term |
text |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Source |
rdacarrier |
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. 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 a 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. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Formal methods (Computer science) -- Handbooks, manuals, etc. |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Human-computer interaction -- Handbooks, manuals, etc. |
Source of heading or term |
sears |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Alan Dix, |
Relator term |
editor. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Judy Bowen, |
Relator term |
editor. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Philippe Palanque, |
Relator term |
editor. |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1CCh02kTIfRm1mgsnfh5tJMbj89rfNlHB/view?usp=sharing">https://drive.google.com/file/d/1CCh02kTIfRm1mgsnfh5tJMbj89rfNlHB/view?usp=sharing</a> |