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

Name: Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Brand: MIT Press
SKU: 52a688a177a05150560784b7434d7a8f

1/1

Prices from

30.21

Featured

	£ 30.21	To Shop
	£ 30.21	To Shop

Description

Amazon Pages: 440, Paperback, MIT Press

Compare webshops (2)

Shop

Price

£ 30.21

To Shop

£ 30.21

To Shop

Description (1)

Pages: 440, Paperback, MIT Press

Brand	MIT Press
EAN	9780262632959

Prices were last updated on: 06-06-2026, 04:59

MIT Press

Arguments that Count: Physics, Computing, and Missile Defense, 1949 2012 (Inside Technology)

Cambridge University Press

Trust, Computing, and Society

Toronto Academic Press

Computing and Technology Ethics

Packt Publishing

Architecting cloud Computing Solutions: Build strategies that align technology and economics while...

Featured Choice

£ 30.21

To Shop