Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Bingo Used Books
WA, U.S.A.

Sale & Shipping Terms

Terms of Sale

To order book through a secure site back up and click on "add to your basket". Surface mail (Media) is $4.50 and Priority is $6.99. International rates vary depending on size of book and in some instances we may need to request additional funds to cover the cost of shipping a very heavy book internationally. If you are paying by check or money order, please mail to: Bingo Books at 13016 NE 37th Court, Vancouver, WA. 98686. If you happen to receive a book that is not as described you may return i...

More Information

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.