Formal Methods In Human-Computer Interaction
Editor: Michael D.Harrison
Cambridge University Press (United Kingdom), 2009
Paperback, 344 pages
Size: 229x152 mm
ISBN: 9780521448673
ISBN-10: 0521448670
List price: £24.99
You save: 5%
Michael D. Harrison
University Of Newcastle Upon Tyne
Formal Methods In Human-Computer Interaction
First published in 1990, this book discusses the application of formal methods to the human-computer interface.

