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.
Résultats de recherche pour Formal Methods in Human-Computer Interaction
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)
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 : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-T-038-01494
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 : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Very Good. Very Good. book. N° de réf. du vendeur ERICA796052137202X6
Quantité disponible : 1 disponible(s)