Mechanizing Proof
Computing, Risk, and Trust
Häftad, Engelska, 2004
739 kr
Produktinformation
- Utgivningsdatum2004-01-30
- Mått152 x 229 x 25 mm
- Vikt635 g
- FormatHäftad
- SpråkEngelska
- SerieInside Technology
- Antal sidor440
- FörlagMIT Press Ltd
- ISBN9780262632959
- UtmärkelserWinner of Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association. 2003
Tillhör följande kategorier
Mer från samma författare
Chains of Finance
Diane-Laure Arjaliès, Philip Grant, Iain Hardie, Donald MacKenzie, Ekaterina Svetlova, Diane-Laure Arjalies, Western University) Arjalies, Diane-Laure (Assistant Professor, Assistant Professor, Ivey Business School, University of Edinburgh) Grant, Philip (Research Fellow in the Social Studies of Finance, Research Fellow in the Social Studies of Finance, School of Social and Political Science, University of Edinburgh) Hardie, Iain (Senior Lecturer in International Relations, Senior Lecturer in International Relations, University of Edinburgh) MacKenzie, Donald (Professor of Sociology, Professor of Sociology, University of Leicester) Svetlova, Ekaterina (Associate Professor, Associate Professor, Donald Mackenzie
839 kr