Displaying 1 of 1 results for undefined
Mechanizing proof : computing, risk, and trust / Donald MacKenzie.
Text
Cambridge, Mass. : MIT Press, c2001.
2001
1 Item
| Format | Call Number | Item Location |
|---|---|---|
| FormatText | Call NumberJSE 02-104 | Item LocationOffsite |
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Text
Cambridge, Mass. : MIT Press, c2001.
2001
1 Item
| Format | Call Number | Item Location |
|---|---|---|
| FormatText | Call NumberJSE 02-104 | Item LocationOffsite |