The Handbook of Formal Methods in Human-Computer Interaction
- ISBN-10
- 3319518399
- ISBN-13
- 9783319518398
- Category
- Computer science
- Pages
- 575
- Language
- English
- Published
- 2017
- Authors
- Alan Dix, Philippe Palanque, Benjamin Weyers
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 ...
Get the book
Other editions
Similar books
-
Proceedings of the 16th Annual International Conference on Digital Government Research
By Karen Mossberger16th Annual International Digital Government Research Conference May 27, 2015-May 30, 2015 Phoenix, USA.
-
New Senior Computing Studies: The HSC Course
By Mark William Baker, Neil FrostCompanion volume to 'New Senior Computing Studies: The Preliminary Course' covering the HSC 2/3-unit common course in the NSW HSC computing studies syllabus, comprising the two HSC core topics and six options.
-
A PostScript Cookbook
By Barry ThomasMask Graphics This program uses the imagemask operator to render a binary bit map image onto the page. Each bit in the supplied data provides one pixel of the image - a 1 makes a black pixel and a 0 does nothing.
-
Computers Are Your Future Complete: International Edition
By Catherine LaBertaThis edition of Computers Are Your Future was revised to match what students know today with what they need to know in order to be successful in the exciting and ever-changing world of information technology.
-
Discrete Mathematics for Computer Scientists
By Clifford Stein, Robert L. Drysdale, Kenneth P. BogartThis text takes an active-learning approach where activities are presented as exercises and the material is then fleshed out through explanations and extensions of the exercises.
-
Revise BTEC National Computing Revision Workbook
By Steve Farrell, Christine Gate, Mark FishpoolThis Revision Workbook delivers hassle-free hands-on practice for the externally assessed units.
-
Computer Applications: Textbook. Secondary 1
By Jonathan ChanComputer Applications: Textbook. Secondary 1
-
Proceedings of the Ninth International Workshop on Data Management on New Hardware
By Ryan JohnsonSIGMOD/PODS'13: International Conference on Management of Data Jun 22, 2013-Jun 27, 2013 New York, USA.
-
Proceedings of the 6th Workshop on Workflows in Support of Large-Scale Science
By Ian Taylor, Workshop on Workflows in Support of Large-Scale ScienceSC11: International Conference for High Performance Computing, Networking, Storage and Analysis Nov 12, 2011-Nov 18, 2011 Seattle, USA.
-
Btec Level 3 National It 2. Student Book
By Karen AndersonFunctional Skills and Personal Learning and Thinking Skills are embedded in activities throughout the book.