Formal Methods In Human Computer Interaction
Download Formal Methods In Human Computer Interaction full books in PDF, epub, and Kindle. Read online free Formal Methods In Human Computer Interaction ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 575
Pages: 575
Type: BOOK - Published: 2017-04-24 - Publisher: Springer
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of wh
Language: en
Pages: 352
Pages: 352
Type: BOOK - Published: 1990-02-22 - Publisher: CUP Archive
Discusses the application of formal methods - the attempt to provide methods that rigorously and unambiguously describe the behavior of a computer program or sy
Language: en
Pages: 560
Pages: 560
Type: BOOK - Published: 2017-04-28 - Publisher: Morgan Kaufmann
Research Methods in Human-Computer Interaction is a comprehensive guide to performing research and is essential reading for both quantitative and qualitative me
Language: en
Pages: 382
Pages: 382
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whethe
Language: en
Pages: 414
Pages: 414
Type: BOOK - Published: 1998 - Publisher: Springer
This volume examines the proposition that formal methods are one of the conceptual tools that can support the design of Interactive Systems, understanding of th