Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction - Michael Harrison - Libros - Cambridge University Press - 9780521448673 - 23 de julio de 2009
En caso de que portada y título no coincidan, el título será el correcto

Michael Harrison
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction

Precio
€ 58,99

Pedido desde almacén remoto

Entrega prevista 15 - 26 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

First published in 1990, this book discusses the application of formal methods to the human-computer interface. 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.

344 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de julio de 2009
ISBN13 9780521448673
Editores Cambridge University Press
Páginas 344
Dimensiones 242 × 169 × 22 mm   ·   600 g
Lengua Inglés  
Editor Harrison, Michael
Editor Thimbleby, Harold

Mas por Michael Harrison

Mostrar todo

Ver todo de Michael Harrison ( Ej. Paperback Book , Hardcover Book y CD )