Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2)

Book Overview

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 052137202X
• ISBN13: 9780521372022
• Release Date: February 1990
• Publisher: Cambridge University Press
• Length: 344 Pages
• Weight: 1.70 lbs.
• Dimensions: 10.3" x 1.0" x 7.3"