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

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

Precio
$ 69,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 29 de jun.
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

Mere med samme udgiver