An edition of Mechanizing proof

Mechanizing proof

computing, risk, and trust

by

  • 1 Want to read
Mechanizing proof
Donald A. MacKenzie, Donald A. ...
Locate

My Reading Lists:

Create a new list
Notes
  • 1 Want to 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

  • 1 Want to read

This work 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
Edition Availability
Cover of: Mechanizing proof
Mechanizing proof: computing, risk, and trust
Publish date unknown, MIT Press

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

Edition Identifiers

Open Library
OL18731009M
ISBN 10
0262133938
LCCN
2001018687
LibraryThing
691012

Work Identifiers

Work ID
OL2947196W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

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