خرید و دانلود نسخه کامل کتاب Mechanizing Proof: Computing, Risk, and Trust

مکانیسم اثبات: محاسبه ، خطر و اعتماد

Mechanizing Proof: Computing, Risk, and Trust

نویسنده: Donald A. MacKenzie

ناشر: The MIT Press

سال انتشار: 2001

تعداد صفحات: 0

زبان: English

فرمت: chm - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت