Mechanizing Proof: Computing, Risk, and Trust
Paperback Published on: 30/01/2004
Price: £30.00
Publisher information
- Publisher: MIT Press Ltd
- ISBN: 9780262632959
- Number of pages: 440
- Dimensions: 229 x 152 x 25 mm
- Weight: 635g
- Languages: English
JOIN / SIGN IN
Welcome to Hatchards Rewards
Earn a Rewards Stamp for every £10 you spend in our shops or online*
Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance
Spend your Rewards Balance in our shops or online, with no minimum redemption*
*Exclusions apply, see full T&Cs for details.