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

MacKenzie, Donald

 
9780262632959: Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Tapa blanda
ISBN 10: 0262632950 ISBN 13: 9780262632959
Editorial: MIT Press, 2004

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
MIT Press
Año de publicación
2004
Idioma
Inglés
ISBN 10 
0262632950
ISBN 13 
9780262632959
Encuadernación
Tapa blanda
Número de páginas
440
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9780262133937: Mechanizing Proof. Computing, Risk And Trust (Inside Technology)

Edición Destacada

ISBN 10:  0262133938 ISBN 13:  9780262133937
Editorial: The MIT Press, 2001
Tapa dura