Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) - Softcover
This series presents recent research on the effects of taxation and government expenditure programs on economic performance and analyses of the effects of potential tax reforms. The research results appear in a form that is accessible to tax practitioners and policymakers.
"synopsis" may belong to another edition of this title.
About the Author:
Donald MacKenzie is Professor of Sociology (Personal Chair) at the University of Edinburgh. His books include Inventing Accuracy (1990), Knowing Machines (1996), and Mechanizing Proof (2001), all published by the MIT Press. Portions of An Engine, not a Camera won the Viviana A. Zelizer Prize in economic sociology from the American Sociological Association.
Review:
"A most readable account of how program verification came to promise so much and deliver so little." - Richard Clayton, The Times Higher Education Supplement"
"About this title" may belong to another edition of this title.
- PublisherThe MIT Press
- Publication date2004
- ISBN 10 0262632950
- ISBN 13 9780262632959
- BindingPaperback
- Number of pages440
- Rating
Buy New
Learn more about this copy
US$ 34.15
Shipping:
US$ 4.00
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0262632950
Buy New
US$ 34.15
Convert currency
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller:
Rating
Book Description Condition: new. Seller Inventory # FrontCover0262632950
Buy New
US$ 35.26
Convert currency
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New. Seller Inventory # Wizard0262632950
Buy New
US$ 36.11
Convert currency
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0262632950
Buy New
US$ 35.51
Convert currency
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. Buy for Great customer experience. Seller Inventory # GoldenDragon0262632950
Buy New
US$ 36.59
Convert currency
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Buy with confidence! Book is in new, never-used condition 1.32. Seller Inventory # bk0262632950xvz189zvxnew
Buy New
US$ 49.26
Convert currency
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. New! This book is in the same immaculate condition as when it was published 1.32. Seller Inventory # 353-0262632950-new
Buy New
US$ 49.26
Convert currency
Seller Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) by Mackenzie, Donald [Paperback ]
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Soft Cover
Quantity: 1
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9780262632959
Buy New
US$ 49.29
Convert currency
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published by
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
New
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: New. Brand New!. Seller Inventory # VIB0262632950
Buy New
US$ 53.97
Convert currency
Stock Image
Mechanizing Proof Computing, Risk, and Trust Inside Technology
Print on Demand
Seller:
Rating
Book Description PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780262632959
Buy New
US$ 55.93
Convert currency