Fortell venner om denne varen:
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction
Michael Harrison
Pris
NOK 669
Bestillingsvarer
Forventes levert 1. - 11. jul
Legg til iMusic ønskeliste
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
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 23. juli 2009 |
ISBN13 | 9780521448673 |
Utgivere | Cambridge University Press |
Antall sider | 344 |
Mål | 242 × 169 × 22 mm · 600 g |
Språk | Engelsk |
Redaktør | Harrison, Michael |
Redaktør | Thimbleby, Harold |
Vis alle
Mer med Michael Harrison
Se alt med Michael Harrison ( f.eks. Pocketbok , Innbunden bok og CD )