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

17.99

Featured

Description

Amazon Pages: 440, Paperback, MIT Press

Compare webshops (2)

Shop

Price

£ 17.99

To Shop

£ 17.99

To Shop

Description (1)

Pages: 440, Paperback, MIT Press

Brand	MIT Press
EAN	9780262632959

Cambridge University Press

Trust, Computing, and Society

MIT Press

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

Toronto Academic Press

Computing and Technology Ethics

Packt Publishing

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