خرید و دانلود نسخه کامل کتاب Decision Procedures: An Algorithmic Point of View

رویه های تصمیم گیری: یک دیدگاه الگوریتمی

Decision Procedures: An Algorithmic Point of View

نویسنده: Daniel Kroening, Ofer Strichman

ناشر: Springer

سال انتشار: 2008

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

زبان: English

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

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