The Handbook of Formal Methods in Human-Computer Interaction

Full text!
Format:
e-book
Title:
The Handbook of Formal Methods in Human-Computer Interaction
Author:
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe; Bowen, Judy; Dix, Alan; Palanque, Philippe
Language:
English
Publisher:
Springer International Publishing 2017
ISBN:
3-319-51837-2
3-319-51838-0
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000001178130?locale=en