Reset Filters
Filter Related Topics: Computers and civilization
Filter Related Topics within your search.
1
Mechanizing proof computing, risk, and trust

Cover is for reference only
Main Authors: MacKenzie Donald A
Published: MIT Press,
Publication Dates: c2001.
Call Number: TP302.7/M156
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —