☰

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

R 1,184

or 4 x payments of R296.00 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Country USA
Brand MIT Press
Manufacturer The MIT Press
Binding Paperback
Color Grey
ReleaseDate 2004-01-30
UnitCount 1
EANs 9780262632959

Customers who purchased this also purchased....

The Complete Vocabulary Builder Workbook: Master 3,700 Essential English Words - 147 Lessons with 428 Practical Activities

Collins German Dictionary Complete and Unabridged edition: 500,000 Translations (German and English Edition) (English and German Edition)

Black's Law Dictionary, 8th Edition (BLACK'S LAW DICTIONARY (STANDARD EDITION))

Pocket Tagalog Dictionary: Tagalog-English English-Tagalog (Periplus Pocket Dictionaries)

A Frequency Dictionary of French (Routledge Frequency Dictionaries)

Dictionary of the Holy Quran (English and Arabic Edition)

Stedman's Medical Dictionary

Made in America: An Informal History of the English Language in the United States