خرید و دانلود نسخه کامل کتاب Principles of the Spin model checker

اصول جستجوگر مدل اسپین

Principles of the Spin model checker

نویسنده: M Ben-Ari

ناشر: Springer

سال انتشار: 2008

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

زبان: English

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

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