خرید و دانلود نسخه کامل کتاب Unfoldings: A Partial-Order Approach to Model Checking

Unfoldings: یک رویکرد جزئی سفارش به بررسی مدل

Unfoldings: A Partial-Order Approach to Model Checking

نویسنده: Javier Esparza, Keijo Heljanko

ناشر: Springer

سال انتشار: 2008

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

زبان: English

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

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