Conte aos seus amigos sobre este item:
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction
Michael Harrison
Preço
DKK 442,66
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 13 - 22 de mai
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction
Michael Harrison
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de julho de 2009 |
| ISBN13 | 9780521448673 |
| Editoras | Cambridge University Press |
| Páginas | 344 |
| Dimensões | 242 × 169 × 22 mm · 600 g |
| Idioma | English |
| Editor | Harrison, Michael |
| Editor | Thimbleby, Harold |
Mostrar tudo
Mais por Michael Harrison
Ver tudo de Michael Harrison ( por exemplo Paperback Book , Hardcover Book e CD )