Skip to content
Home/ Mechanizing Proof: Computing, Risk, and Trust
Mechanizing Proof: Computing, Risk, and Trust

Mechanizing Proof: Computing, Risk, and Trust

by MacKenzie, Donald
No customer reviews yet ISBN 9780262632959 The MIT Press

About the author

Product details

BrandThe MIT Press
Pub dateJan 30, 2004
ISBN-100262632950
ISBN-139780262632959
LanguageEnglish
Dimensions9 × 1 × 6 in
Weight1 lb
Last updated 2026-09-03 13:20
$46.50
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Computer Science
See all
Collins International Primary Computing: Student's Book Stage 2
Gardner Tracy
$12.08
Collins International Primary Computing: Student's Book Stage 4
Gardner Tracy
$12.08
Collins International Primary Computing Workbook Stage 2
Gardner Tracy
$12.08
Collins International Primary Computing Teacher's Guide: Stage 2
Gardner Tracy
$55.74
Collins International Primary Computing Teacher's Guide: Stage 4
Gardner Tracy
$55.74
Collins International Lower Secondary Computing Teacher's Guide: Stage 8
Sach, Laura
$104.25