Name: Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction) (en Inglés)
Price: 77.05 USD
Availability: InStock
Author: Harrison, Michael ; Thimbleby, Harold
ISBN: 9780521448673

portada Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction) (en Inglés)

Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction) (en Inglés)

Formato

Libro Físico

Ilustrado por

Michael Harrison

Harold Thimbleby

Editorial

Cambridge University Press

Autor

Harrison, Michael ; Thimbleby, Harold

Año

2009

Idioma

Inglés

N° páginas

344

Encuadernación

Tapa Blanda

Dimensiones

24.4 x 17.0 x 1.8 cm

Peso

0.55 kg.

ISBN

0521448670

ISBN13

9780521448673

Categorías

Lenguajes de programación y extensión/scripting: general

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

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 154.09$ 77.05

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 77.05

Llega entre el 03 Sep y el 15 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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.