خرید و دانلود نسخه کامل کتاب The Calculus of Computation: Decision Procedures with Applications to Verification

حساب محاسباتی: رویه‌های تصمیم‌گیری با کاربردهایی برای تأیید

The Calculus of Computation: Decision Procedures with Applications to Verification

نویسنده: Aaron R. Bradley, Zohar Manna

ناشر: Springer

سال انتشار: 2007

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

زبان: English

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

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