Compartir
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction) (en Inglés)
Michael Harrison
(Ilustrado por)
·
Harold Thimbleby
(Ilustrado por)
·
Cambridge University Press
· Tapa Blanda
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction) (en Inglés) - Harrison, Michael ; Thimbleby, Harold
68,20 €
71,79 €
Ahorras: 3,59 €
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Martes 02 de Julio y el
Jueves 04 de Julio.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.
Reseña del libro "Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction) (en Inglés)"
First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.