Mechanizing Proof: Computing, Risk, and Trust

Type: Physical Book

Language: English

Release Date: 2004-03-01

ISBN 10: 0262632950

ISBN 13: 9780262632959

Readers: 1

Country: United States of America

Data Score: 1170