Take a photo of a barcode or cover
Read With Others
Book Information
344 pages • paperback • 2 editions
ISBN/UID: 9780521448673
Format: Paperback
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 23 Jul 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 • paperback
ISBN/UID: 9780521448673
Format: Paperback
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 23 Jul 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