Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 23. julija 2009 |
| ISBN13 | 9780521448673 |
| Založniki | Cambridge University Press |
| Strani | 344 |
| Dimenzije | 242 × 169 × 22 mm · 600 g |
| Jezik | Angleščina |
| Urednik | Harrison, Michael |
| Urednik | Thimbleby, Harold |
Več od Michael Harrison
Prikaži vseMere med samme udgiver
Ogled vseh Michael Harrison ( Na primer Paperback Book , Hardcover Book in CD )