Mechanizing Proof: Computing, Risk, and Trust - Mechanizing Proof (Paperback)
  • Mechanizing Proof: Computing, Risk, and Trust - Mechanizing Proof (Paperback)
zoom

Mechanizing Proof: Computing, Risk, and Trust - Mechanizing Proof (Paperback)

(author)
£30.00
Paperback 440 Pages
Published: 30/01/2004

This product is currently unavailable.

  • This item has been added to your basket

Publisher: MIT Press Ltd
ISBN: 9780262632959
Number of pages: 440
Weight: 635 g
Dimensions: 229 x 152 x 25 mm

You may also be interested in...

Hello World
Added to basket
Paperback
£10.99
Question 7
Added to basket
Hardback
£18.99 £15.99
The Burning Earth
Added to basket
Hardback
£30.00
Fancy Bear Goes Phishing
Added to basket
How to Teach Quantum Physics to Your Dog
Added to basket
The Anxious Generation
Added to basket
The Coming Wave
Added to basket
Paperback
£10.99 £8.99
And Finally
Added to basket
Paperback
£10.99
Life 3.0
Added to basket
Paperback
£10.99
Fear
Added to basket
Paperback
£12.99 £10.49
The Singularity is Nearer
Added to basket
Hardback
£25.00 £21.99
Digital Minimalism
Added to basket
Paperback
£10.99
Nexus
Added to basket
Hardback
£28.00 £23.99
The Authority Gap
Added to basket
Homo Deus
Added to basket
Paperback
£12.99
Why Machines Learn
Added to basket

Please sign in to write a review

Your review has been submitted successfully.