The Handbook of Formal Methods in Human-Computer Interaction /

The Handbook of Formal Methods in Human-Computer Interaction /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Weyers, Benjamin. (Editor), Bowen, Judy. (Editor), Dix, Alan. (Editor), Palanque, Philippe. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Human-Computer Interaction Series,
Subjects:
User interfaces (Computer systems).
Software engineering.
Mathematical logic.
User Interfaces and Human Computer Interaction.
Software Engineering.
Mathematical Logic and Formal Languages.
Description
Physical Description:XVI, 575 p. 205 illus., 133 illus. in color. : online resource.
ISBN:9783319518381

Similar Items