The Handbook of Formal Methods in Human-Computer Interaction

Erscheinungsdatum: 06/2017, Medium: Buch, Einband: Gebunden, Titel: The Handbook of Formal Methods in Human-Computer Interaction, Redaktion: Weyers, Benjamin // Bowen, Judy // Dix, Alan // Palanque, Philippe, Verlag: Springer-Verlag GmbH // Springer International...