The Handbook of Formal Methods in Human-Computer Interaction /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Weyers, Benjamin. (Editor ), Bowen, Judy. (Editor ), Dix, Alan. (Editor ), Palanque, Philippe. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Human-Computer Interaction Series,
Materias:	User interfaces (Computer systems). Software engineering. Mathematical logic. User Interfaces and Human Computer Interaction. Software Engineering. Mathematical Logic and Formal Languages.

Descripción
Descripción Física:	XVI, 575 p. 205 illus., 133 illus. in color. : online resource.
ISBN:	9783319518381

Ejemplares similares