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.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items