Items related to Mechanizing Proof: Computing, Risk, and Trust (Inside...
Synopsis
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$ 31.30
Shipping:
US$ 4.25
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Mechanizing Proof: Computing, Risk, and Trust
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.41. Seller Inventory # G0262632950I4N00
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M00262632950-G
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: Campbell Bookstore, Austin, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: very good. Seller Inventory # UsedCamp0262632950
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: very good. Very Good Copy. Customer Service Guaranteed. Seller Inventory # think_very_0262632950
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: Byrd Books, Austin, TX, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: very good. In Used Condition. Seller Inventory # Ubyused0262632950
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0262632950
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0262632950
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: Campbell Bookstore, Austin, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # NewCamp0262632950
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: GoldenDragon, Houston, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Buy for Great customer experience. Seller Inventory # GoldenDragon0262632950
Quantity: 1 available
Stock Image
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Seller: Wizard Books, Long Beach, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. New. Seller Inventory # Wizard0262632950
Quantity: 1 available