Faites connaître cet article à vos amis:
Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction Michael Harrison
Prix
€ 63,49
Commandé depuis un entrepôt distant
Livraison prévue 30 sept. - 14 oct.
Recevez une notification pour les nouvelles sorties de Michael Harrison
Nos clients disent :
Ajouter à votre liste de souhaits 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édias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 23 juillet 2009 |
| ISBN13 | 9780521448673 |
| Éditeurs | Cambridge University Press |
| Pages | 344 |
| Dimensions | 242 × 169 × 22 mm · 600 g |
| Langue et grammaire | Anglais |
| Éditeur | Harrison, Michael |
| Éditeur | Thimbleby, Harold |
