Skip to main content
PBS logo
 
 

Search - Formal Methods For Interactive Systems (Computers and People Series)

Formal Methods For Interactive Systems (Computers and People Series)
Formal Methods For Interactive Systems - Computers and People Series
Author: Author Unknown
This essential book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modeling of interactive systems. By modeling various facets of the system--such as windows, real time phenomena, and dynamic pointers--the book demonstrates how formal methods of software eng...  more »
ISBN-13: 9780122183157
ISBN-10: 0122183150
Publication Date: 2/11/1991
Pages: 384
Rating:
  ?

0 stars, based on 0 rating
Publisher: Academic Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review