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

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

Decision Procedures: An Algorithmic Point of View

نویسنده: Daniel Kroening, Ofer Strichman (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2016

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

زبان: English

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

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