Mechanizing Proof: Computing, Risk, and Trust
$55.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9780262632959
1
Details
- Format
- Paperback
- ISBN-13
- 9780262632959
- Publisher
- MIT Press
- Published
- January 30, 2004
- Pages
- 440
- Weight
- 22.6 oz
- Subject
- Computers
More by Donald MacKenzie
All books
Trading at the Speed of Light: How Ultrafast Algorithms Are Transforming Financial Markets
Donald MacKenzie
$28.99
Scottish Folk-Lore and Folk Life - Studies in Race, Culture and Tradition
Donald MacKenzie
$39.99
An Engine, Not a Camera: How Financial Models Shape Markets
Donald MacKenzie
$55.99
Do Economists Make Markets?: On the Performativity of Economics
Donald MacKenzie
$91.99
Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance
Donald MacKenzie
$92.99
The Flooding of the Sahara: An Account of the Proposed Plan for Opening Central Africa to Commerce A
The Flooding of the Sahara: An Account of the Proposed Plan for Opening Central Africa to Commerce A
Donald MacKenzie
$25.99
Teutonic Myth and Legend
Teutonic Myth and Legend
Donald MacKenzie
$28.99
The Corona In Air At Continuous Potentials And Pressures Lower Than Atmospheric
The Corona In Air At Continuous Potentials And Pressures Lower Than Atmospheric
Donald MacKenzie
$28.99
Egyptian Myth and Legend
Egyptian Myth and Legend
Donald MacKenzie
$9.99
Myths Of Crete Pre-Hellenic Europe
Myths Of Crete Pre-Hellenic Europe
Donald MacKenzie
$58.99
The Corona In Air At Continuous Potentials And Pressures Lower Than Atmospheric (1915)
The Corona In Air At Continuous Potentials And Pressures Lower Than Atmospheric (1915)
Donald MacKenzie
$22.99
Material Markets: How Economic Agents Are Constructed
Material Markets: How Economic Agents Are Constructed
Donald MacKenzie
$56.99
Popular in Computers
Browse Computers
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Kevin Roose
$25.99
AI Engineering: Building Applications with Foundation Models
Chip Huyen
$65.99
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky
$23.99
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Martin Kleppmann
$58.99
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
$16.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Emily M. Bender
$25.99
The Linux Command Line, 3rd Edition: A Complete Introduction
William Shotts
$38.99
The God Test: Artificial Intelligence and Our Coming Cosmic Reckoning
Robert Wright
$23.99