An edition of Mechanizing proof

Mechanizing proof

computing, risk, and trust

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Mechanizing proof
Donald A. MacKenzie
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by WorkBot
February 7, 2010 | History
Edit
An edition of Mechanizing proof

Mechanizing proof

computing, risk, and trust

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publisher
MIT Press
Pages
427

Check nearby libraries

Buy this book

Subjects
Computer systems, Reliability, Computers and civilization

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Mechanizing proof
Mechanizing proof: computing, risk, and trust
Publish date unknown, MIT Press
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [335]-418) and index.

Published in
Cambridge, Mass
Series
Inside technology

The Physical Object

Pagination
xi, 427 p. :
Number of pages
427

ID Numbers

Open Library
OL18731009M
ISBN 10
0262133938
LCCN
2001018687
Library Thing
691012

Source records

Oregon Libraries MARC record
Ithaca College Library MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
February 7, 2010 Edited by WorkBot add more information to works
December 10, 2009 Created by WorkBot add works page