Pastāsti draugiem par šo preci:
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction Michael Harrison
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2009. gada 23. jūlijs |
| ISBN13 | 9780521448673 |
| Izdevēji | Cambridge University Press |
| Lapas | 344 |
| Izmēri | 242 × 169 × 22 mm · 600 g |
| Valoda | Angļu |
| Redaktors | Harrison, Michael |
| Redaktors | Thimbleby, Harold |
Vairāk no Michael Harrison
Rādīt visuMere med samme udgiver
Skatīt visus Michael Harrison ( piem., Paperback Book , Hardcover Book un CD )