The Handbook of Formal Methods in Human-Computer Interaction

Gespeichert in:
Hauptverfasser:
Weyers, Benjamin (HerausgeberIn), Bowen, Judy (HerausgeberIn), Dix, Alan (HerausgeberIn), Palanque, Philippe (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2017
Umfang:
1 Online-Ressource (XIV, 575 p. 205 illus., 133 illus. in color)
text file PDF
Schriftenreihe:
Human–Computer Interaction Series
ISBN:
9783319518381
ISSN:
1571-5035
Schlagworte:
Computer science
Software engineering
Mathematical logic
User interfaces (Computer systems)
Bezugswerke:
Links: