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

Författare
Donald A. MacKenzie
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
MIT Press 2001 Utgivningsland okänt / Ej specificerat