Skip to content
Scan a barcode
Scan

All Formats & Editions

1 - 2 of 2 results found
Formal Methods in Human-Computer Interaction 0521448670 Book Cover

Formal Methods in Human-Computer Interaction

Edition 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 system - is receiving a great deal...

Edition Details
Format:Paperback
Language:English
ISBN:0521448670
Format: Paperback
Condition:
$
59.16
Formal Methods in Human-Computer Interaction (C... 052137202X Book Cover

Formal Methods in Human-Computer Interaction (C...

Edition Details
Format:Hardcover
Language:English
ISBN:052137202X
Format: Hardcover
Condition:
$
34.59
Save $44.40!
List Price: $78.99
Almost Gone, Only 1 Left!
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured