Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction - Michael Harrison - Livres - Cambridge University Press - 9780521448673 - 23 juillet 2009
Si la couverture et le titre ne correspondent pas, le titre est correct.

Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction

Michael Harrison

Prix
₺ 2.546,77

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 mai
Ajouter à votre liste de souhaits iMusic

Formal Methods in Human-Computer Interaction - Cambridge Series on Human-Computer Interaction

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 English  
Éditeur Harrison, Michael
Éditeur Thimbleby, Harold

Afficher tout

Plus par Michael Harrison