Ir al contenido

Mechanizing Proof Computing, Risk, and Trust (Inside Technology)
Foto de archivo: la portada puede ser diferente

Mechanizing Proof Computing, Risk, and Trust (Inside Technology) Tapa dura - 2001

de Donald MacKenzie

Información de la editorial

Most aspects of our private and social lives - our safety, the integrity of the financial system, the functioning of utilities and other services, and national security - now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants.

Detalles

  • Título Mechanizing Proof Computing, Risk, and Trust (Inside Technology)
  • Autor Donald MacKenzie
  • Encuadernación Tapa dura
  • Edición 1st
  • Páginas 434
  • Editorial The MIT Press, Cambridge
  • Fecha de publicación October 1, 2001
  • ISBN 9780262133937
Ir arriba↑

Más ejemplares

Mechanizing Proof � Computing, Risk & Trust: Computing, Risk, and Trust (Inside Technology)
Foto de archivo: la portada puede ser diferente

Mechanizing Proof � Computing, Risk & Trust: Computing, Risk, and Trust (Inside Technology)

de Mackenzie, Donald

  • Usado
  • very good
  • Tapa dura
Estado
Usado - Very Good
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780262133937 / 0262133938
Cantidad disponible
1
Librería
S N Books Ltd
Thetford, Norfolk, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 6.00
EUR 59.01 enviando a USA

Mostrar detalles

Descripción:
MIT Press, 02/11/2001 00:00:01. hardcover. Very Good. 3.0677 in x 23.3023 in x 16.1977 in.
Precio
EUR 6.00
EUR 59.01 enviando a USA
Mechanizing Proof: Computing, Risk, and Trust
Foto de archivo: la portada puede ser diferente

Mechanizing Proof: Computing, Risk, and Trust

de Donald Mackenzie

  • Usado
  • good
Estado
Usado - Good
ISBN 10 / ISBN 13
9780262133937 / 0262133938
Cantidad disponible
1
Librería
AMMAREAL
Morangis, France
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 37.57
EUR 11.29 enviando a USA

Mostrar detalles

Descripción:
MIT Press, 2001. Good. Former library book. Signs of wear on the cover. No dust jacket. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Precio
EUR 37.57
EUR 11.29 enviando a USA
Mechanizing Proof

Mechanizing Proof: Computing, Risk, and Trust

de MacKenzie, Donald

  • Usado
  • Tapa dura
Estado
Usado
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780262133937 / 0262133938
Cantidad disponible
1
Librería
Rachel Maines Inc.
Ithaca, New York, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 37.62
EUR 2.82 enviando a USA

Mostrar detalles

Descripción:
Excellent condition, including DJ.
Precio
EUR 37.62
EUR 2.82 enviando a USA
Mechanizing Proof : Computing, Risk, and Trust
Foto de archivo: la portada puede ser diferente

Mechanizing Proof : Computing, Risk, and Trust

de MacKenzie, Donald A

  • Usado
Estado
Used - Good
ISBN 10 / ISBN 13
9780262133937 / 0262133938
Cantidad disponible
1
Librería
Better World Books
Reno, Nevada, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 55.58
Envío gratuito a USA

Mostrar detalles

Descripción:
MIT Press. Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Precio
EUR 55.58
Envío gratuito a USA
MECHANIZING PROOF: COMPUTING, RISK, AND TRUST
Foto de archivo: la portada puede ser diferente

MECHANIZING PROOF: COMPUTING, RISK, AND TRUST

de DONALD MACKENZIE,

  • Nuevo
  • Tapa dura
  • First
Estado
New
Edición
1st
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780262133937 / 0262133938
Cantidad disponible
1
Librería
DELHI BOOK STORE
New Delhi, India
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 59.26
EUR 9.41 enviando a USA

Mostrar detalles

Descripción:
Mit Press, 2001. 1st. Hardcover. New/New.
Precio
EUR 59.26
EUR 9.41 enviando a USA
Mechanizing Proof
Foto de archivo: la portada puede ser diferente

Mechanizing Proof

de Donald A MacKenzie Donald MacKenzie

  • Usado
  • Tapa dura
Estado
Used
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9780262133937 / 0262133938
Cantidad disponible
1
Librería
Cold Books
Woodside, New York, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 60.06
EUR 3.75 enviando a USA

Mostrar detalles

Descripción:
MIT Press , pp. 450 1st Edition . Hardback. Used.
Precio
EUR 60.06
EUR 3.75 enviando a USA
Mostrar todos los ejemplares
Ir arriba↑

Espera... estamos cargando la página solicitada.