Articles liés à Formal Methods in Human-Computer Interaction
Synopsis
First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). 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. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). 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. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCambridge University Press
- Date d'édition1990
- ISBN 10 052137202X
- ISBN 13 9780521372022
- ReliureRelié
- Langueanglais
- Nombre de pages344
- ÉditeurHarrison Michael, Thimbleby Harold
- Coordonnées du fabricantnon disponible
Résultats de recherche pour Formal Methods in Human-Computer Interaction
Image d'archives
Formal Methods in Human-Computer Interaction
Edité par
Cambridge University Press, 1990
ISBN 10 : 052137202X
ISBN 13 : 9780521372022
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 52566793-6
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)
Edité par
Cambridge University Press, 1990
ISBN 10 : 052137202X
ISBN 13 : 9780521372022
Ancien ou d'occasion
Couverture rigide
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00041177735
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)
Edité par
Cambridge University Press, 1990
ISBN 10 : 052137202X
ISBN 13 : 9780521372022
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or limited writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_336208517
Quantité disponible : 1 disponible(s)