Scan barcode
344 pages • missing pub info (editions)
ISBN/UID: 9780521448673
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 23 July 2009
Description
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 describe the behaviour of a computer program or syst...
Community Reviews
Content Warnings
344 pages • missing pub info (editions)
ISBN/UID: 9780521448673
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 23 July 2009
Description
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 describe the behaviour of a computer program or syst...
Community Reviews
Content Warnings