Home › Books › Computers › Mechanizing Proof: Computing, Risk, and Trust (Inside Techn…
← PrevMind and Mechanism (MIT P... NextMechanics of Robotic Mani... →
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) Buy on Amazon

https://www.ebooknetworking.net/books_detail-0262133938.html

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

AuthorDonald MacKenzie
PublisherThe MIT Press
CategoryComputers
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇺🇸

Book Details

Author(s)Donald MacKenzie
PublisherThe MIT Press
ISBN / ASIN0262133938
ISBN-139780262133937
CategoryComputers
MarketplaceUnited States  🇺🇸

More Books in Computers

The Good Web Site Guide 2006: The Completely Revised, Best-Selling Guide to Over 5000 Sites
The Good Web Site Guide 2006: The Completely Revised, …
View
The Pentium Microprocessor
The Pentium Microprocessor
View
Advanced Intel Microprocessors: 80286, 80386, And 80486
Advanced Intel Microprocessors: 80286, 80386, And 80486
View
Differential Equations: Matrices and Models
Differential Equations: Matrices and Models
View
Digital Experiments: Emphasizing Troubleshooting (Merrill's International Series in Electrical and Electronics Technology)
Digital Experiments: Emphasizing Troubleshooting (Merr…
View
Data Structures for Computer Information Systems
Data Structures for Computer Information Systems
View
The Little LISPer, Third Edition
The Little LISPer, Third Edition
View
Inside Networks
Inside Networks
View
Computer Graphics Using Open GL (2nd Edition)
Computer Graphics Using Open GL (2nd Edition)
View
Computer Graphics
Computer Graphics
View

More Books by Donald MacKenzie

Material Markets: How Economic Agents are Constructed (Clarendon Lectures in Management Studies)
Material Markets: How Economic Agents are Constructed …
View
A Savage State of Grace
A Savage State of Grace
View
Donate to EbookNetworking
Mind and Mechanism ...Prev
Mechanics of Roboti...Next