Formal Methods in Human-Computer Interaction

Formal Methods in Human-Computer Interaction

by Michael Harrison
     
 

View All Available Formats & Editions

First published in 1990, this book discusses the application of formal methods to the human-computer interface.See more details below

Overview

First published in 1990, this book discusses the application of formal methods to the human-computer interface.

Product Details

ISBN-13:
9780521448673
Publisher:
Cambridge University Press
Publication date:
07/23/2009
Edition description:
Reissue
Pages:
344
Product dimensions:
6.70(w) x 9.60(h) x 0.90(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >