Articoli correlati a The Handbook of Formal Methods in Human-Computer Interaction
- EditoreSpringer-Nature New York Inc
- Data di pubblicazione2017
- ISBN 10 3319518372
- ISBN 13 9783319518374
- RilegaturaCopertina rigida
- LinguaInglese
- Numero edizione1
- Numero di pagine575
- RedattoreWeyers Benjamin, Bowen Judy, Dix Alan, Palanque Philippe
Compra nuovo
Visualizza questo articolo
EUR 294,19
EUR 48,99 per la spedizione da Germania a U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per The Handbook of Formal Methods in Human-Computer Interaction
Immagini fornite dal venditore
The Handook of Formal Methods in Human-Computer Interaction
Editore:
Springer International Publishing, 2017
ISBN 10: 3319518372
ISBN 13: 9783319518374
Nuovo
Rilegato
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a detailed overview of past, current and future developments of formal methods in HCIIncludes case studies that illustrate various perspectives on, and the use of, formal methods in HCIMaximizes reader understanding  of  t. Codice articolo 134145283
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
The Handbook of Formal Methods in Human-Computer Interaction
Editore:
Springer-Verlag Gmbh Jun 2017, 2017
ISBN 10: 3319518372
ISBN 13: 9783319518374
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field.The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work. 575 pp. Englisch. Codice articolo 9783319518374
Quantità: 2 disponibili
Immagini fornite dal venditore
The Handbook of Formal Methods in Human-Computer Interaction
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field.The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work. Codice articolo 9783319518374
Quantità: 1 disponibili