Fortæl dine venner om denne vare:
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction Michael Harrison
Pris
DKK 537
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 9. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 23. juli 2009 |
| ISBN13 | 9780521448673 |
| Forlag | Cambridge University Press |
| Antal sider | 344 |
| Mål | 242 × 169 × 22 mm · 600 g |
| Sprog | Engelsk |
| Klipper/redaktør | Harrison, Michael |
| Klipper/redaktør | Thimbleby, Harold |
Vis alle
Mere med Michael Harrison
Se alt med Michael Harrison ( f.eks. Paperback Bog , Hardcover bog og CD )