خرید و دانلود نسخه کامل کتاب Decidability of Parameterized Verification

قابلیت اطمینان از تأیید پارامتری

Decidability of Parameterized Verification

نویسنده: Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder

ناشر: Morgan & Claypool

سال انتشار: 2015

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

زبان: English

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

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