All Formats & Editions
1 - 2 of 2 results found
Proof and System-Reliability
Edition Description
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if...
Edition Details
Format:Paperback
Language:English
ISBN:140200608X
Format: Paperback
Condition:
$
60.10
Proof and System-Reliability
Edition Description
Cartesian Closed Categories of Effective Domains; G. Hamrin, V. Stoltenberg-Hansen. Algebraic Game Semantics: A Tutorial Introduction; S. Abramsky. Algebra of Networks; G. Stefanescu. Computability and Complexity from a Programming Perspective; N.D. Jones. Logical Frameworks:...
Edition Details
Format:Hardcover
Language:English
ISBN:1402006071
Format: Hardcover
Condition:
$
109.99
Save $99.01!
List Price: $209.00
Copyright © 2026 Thriftbooks.com Terms of Use
| Privacy Policy | Do Not
Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
