Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Mechanizing Proof : Computing, Risk, and Trust

Mechanizing Proof : Computing, Risk, and Trust

by Donald A. MacKenzie Hardcover

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Donald A. MacKenzie
  • ISBN 13: 9780262133937
  • ISBN 10: 0262133938
  • Language: English

Specifications

Index-10 0262133938
Index-13 9780262133937
Language English

✨ Readers also enjoyed...

View All →
Egyptian Myth and Legend

Egyptian Myth and Legend

Donald A. MacKenzie

Inquire
Egyptian Myth and Legend

Egyptian Myth and Legend

Donald A. MacKenzie

Inquire
Egyptian Myth and Legend

Egyptian Myth and Legend

Donald A. MacKenzie

Inquire
Egyptian Myth and Legend

Egyptian Myth and Legend

Donald A. MacKenzie

Inquire
Egyptian Myths and Legends

Egyptian Myths and Legends

Donald A. MacKenzie

Inquire