خرید و دانلود نسخه کامل کتاب The calculus of computation: Decision procedures with applications to verification

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

The calculus of computation: Decision procedures with applications to verification

نویسنده: Bradley A., Manna Z.

ناشر: Springer

سال انتشار: 2007

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

زبان: English

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

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