No Cover Image

Edited book 841 views

The Handbook of Formal Methods in Human-Computer Interaction

Benjamin Weyers, Judy Bowen, Alan Dix Orcid Logo, Philippe Palanque

Swansea University Author: Alan Dix Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/978-3-319-51838-1

ISBN: 978-3-319-51837-4; 978-3-319-84754-2 978-3-319-51838-1
ISSN: 1571-5035
Published: Cham. Switzerland Springer 2017
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa50419
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2019-05-20T11:26:39Z
last_indexed 2023-01-11T14:26:52Z
id cronfa50419
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-16T12:51:32.9709301</datestamp><bib-version>v2</bib-version><id>50419</id><entry>2019-05-19</entry><title>The Handbook of Formal Methods in Human-Computer Interaction</title><swanseaauthors><author><sid>e31e47c578b2a6a39949aa7f149f4cf9</sid><ORCID>0000-0002-5242-7693</ORCID><firstname>Alan</firstname><surname>Dix</surname><name>Alan Dix</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-05-19</date><deptcode>SCS</deptcode><abstract/><type>Edited book</type><journal/><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>Springer</publisher><placeOfPublication>Cham. Switzerland</placeOfPublication><isbnPrint>978-3-319-51837-4; 978-3-319-84754-2</isbnPrint><isbnElectronic>978-3-319-51838-1</isbnElectronic><issnPrint>1571-5035</issnPrint><issnElectronic/><keywords>Computer literacy, computer science, software engineering, user interfaces and human computer interaction, mathematical logic and formal languages, computers, data processing, computers hardware general , information technology, user interface design and usability, computer systems, logic, symbolic and mathematical.</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2017</publishedYear><publishedDate>2017-12-31</publishedDate><doi>10.1007/978-3-319-51838-1</doi><url>https://www.springer.com/gb/book/9783319518374</url><notes>100 words: This is an edited volume that captures the state of art in the area. As well as individual authored chapters, the editors wrote four initial chapters which analysing the past and current state, to create a roadmap of future research challenges. Chapter 3, Trends and Gaps, is perhaps most significant in this respect.</notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-12-16T12:51:32.9709301</lastEdited><Created>2019-05-19T13:29:01.0379059</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Benjamin</firstname><surname>Weyers</surname><order>1</order></author><author><firstname>Judy</firstname><surname>Bowen</surname><order>2</order></author><author><firstname>Alan</firstname><surname>Dix</surname><orcid>0000-0002-5242-7693</orcid><order>3</order></author><author><firstname>Philippe</firstname><surname>Palanque</surname><order>4</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2022-12-16T12:51:32.9709301 v2 50419 2019-05-19 The Handbook of Formal Methods in Human-Computer Interaction e31e47c578b2a6a39949aa7f149f4cf9 0000-0002-5242-7693 Alan Dix Alan Dix true false 2019-05-19 SCS Edited book Springer Cham. Switzerland 978-3-319-51837-4; 978-3-319-84754-2 978-3-319-51838-1 1571-5035 Computer literacy, computer science, software engineering, user interfaces and human computer interaction, mathematical logic and formal languages, computers, data processing, computers hardware general , information technology, user interface design and usability, computer systems, logic, symbolic and mathematical. 31 12 2017 2017-12-31 10.1007/978-3-319-51838-1 https://www.springer.com/gb/book/9783319518374 100 words: This is an edited volume that captures the state of art in the area. As well as individual authored chapters, the editors wrote four initial chapters which analysing the past and current state, to create a roadmap of future research challenges. Chapter 3, Trends and Gaps, is perhaps most significant in this respect. COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2022-12-16T12:51:32.9709301 2019-05-19T13:29:01.0379059 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Benjamin Weyers 1 Judy Bowen 2 Alan Dix 0000-0002-5242-7693 3 Philippe Palanque 4
title The Handbook of Formal Methods in Human-Computer Interaction
spellingShingle The Handbook of Formal Methods in Human-Computer Interaction
Alan Dix
title_short The Handbook of Formal Methods in Human-Computer Interaction
title_full The Handbook of Formal Methods in Human-Computer Interaction
title_fullStr The Handbook of Formal Methods in Human-Computer Interaction
title_full_unstemmed The Handbook of Formal Methods in Human-Computer Interaction
title_sort The Handbook of Formal Methods in Human-Computer Interaction
author_id_str_mv e31e47c578b2a6a39949aa7f149f4cf9
author_id_fullname_str_mv e31e47c578b2a6a39949aa7f149f4cf9_***_Alan Dix
author Alan Dix
author2 Benjamin Weyers
Judy Bowen
Alan Dix
Philippe Palanque
format Edited book
publishDate 2017
institution Swansea University
isbn 978-3-319-51837-4; 978-3-319-84754-2
978-3-319-51838-1
issn 1571-5035
doi_str_mv 10.1007/978-3-319-51838-1
publisher Springer
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url https://www.springer.com/gb/book/9783319518374
document_store_str 0
active_str 0
published_date 2017-12-31T04:01:52Z
_version_ 1763753184641155072
score 11.012678

Similar Items